「constraint logic programming」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

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. 例文帳に追加

我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する． - コンピューター用語辞典