例文 (1件) |
definite Horn clauseの部分一致の例文一覧と使い方
該当件数 : 1件
Theoretical treatments of logic programming often use a very simple formulation of Prolog, namely pure definite horn clause programs: 例文帳に追加
論理プログラミングの理論的取り扱いでは、プロログの非常に単純な定式化、すなわち純確定ホーン節プログラムを使うことがよくある。 - コンピューター用語辞典
例文 (1件) |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |