「Constraint logic programming」を含む例文一覧(4)
- Constraint logic programming is a declarative programming paradigm derived from logic programming.
制約論理プログラミングは論理プログラミングから導かれた宣言形プログラミング・パラダイムの一種である。 - コンピューター用語辞典 - OCL (object constraint language) is not a programming language, so it is not possible to write program logic or flow control in OCL.
OCL（オブジェクト制約言語）はプログラミング言語ではないので、OCL中でプログラム論理や流れ制御を書くことはできない。 - コンピューター用語辞典 - The project aims at a realization of a strongly typed constraint programming language that combines the advantages of logic and imperative programming.
このプロジェクトは強い型付きの制約プログラミング言語の実現を目標とする.この言語は論理型プログラミングと命令型プログラミングの長所を結合するものである. - コンピューター用語辞典 - 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.
我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する． - コンピューター用語辞典
