例文 (4件) |
"logic-programming"を含む例文一覧と使い方
該当件数 : 4件
Constraint logic programming is a declarative programming paradigm derived from logic programming. 例文帳に追加
制約論理プログラミングは論理プログラミングから導かれた宣言形プログラミング・パラダイムの一種である。 - コンピューター用語辞典
Concurrent logic languages were developed to add parallelism to the logic-programming paradigm. 例文帳に追加
並行論理型言語は, 論理プログラミングの範例に並行論を追加するために開発された. - コンピューター用語辞典
Theoretical treatments of logic programming often use a very simple formulation of Prolog, namely pure definite horn clause programs: 例文帳に追加
論理プログラミングの理論的取り扱いでは、プロログの非常に単純な定式化、すなわち純確定ホーン節プログラムを使うことがよくある。 - コンピューター用語辞典
We provide a mathematical specification of an extension of Warren's Abstract Machine for executing Prolog to type-constraint logic programming and prove its correctness. 例文帳に追加
我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する. - コンピューター用語辞典
例文 (4件) |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |