論理型プログラミングの英語

このプロジェクトは強い型付きの制約プログラミング言語の実現を目標とする.この言語は論理型プログラミングと命令型プログラミングの長所を結合するものである.例文帳に追加

The project aims at a realization of a strongly typed constraint programming language that combines the advantages of logic and imperative programming.発音を聞く  - コンピューター用語辞典

並行論理型言語は, 論理プログラミングの範例に並行論を追加するために開発された.例文帳に追加

Concurrent logic languages were developed to add parallelism to the logic-programming paradigm.発音を聞く  - コンピューター用語辞典

我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する．例文帳に追加

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.発音を聞く  - コンピューター用語辞典

プログラミングインタフェースが提供され、集中型サービス制御ポイントＳＣＰおよびＳＣＥに関連して、適切なサービス論理プログラムＳＬＰが生成または更新される。例文帳に追加

The network processor receives a programming interface and generates or updates a proper service logic program SLP with respect to a central service control point SCP and SCE. - 特許庁