| 意味 | 例文 (4件) |
constraint logic programmingとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 制約論理プログラミング
コンピューター用語辞典での「constraint logic programming」の意味 |
|
constraint logic programming
制約論理プログラミングは論理プログラミングから導かれた宣言形プログラミング・パラダイムの一種である。
「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.発音を聞く 例文帳に追加
我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する． - コンピューター用語辞典
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
ウィキペディア英語版での「constraint logic programming」の意味 |
Constraint logic programming
出典:『Wikipedia』 (2011/06/30 16:23 UTC 版)
A(X,Y) :- X+Y>0, B(X), C(Y). In this clause, X+Y>0 is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
|
| 意味 | 例文 (4件) |
|
|
constraint logic programmingのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
| Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
| All Rights Reserved, Copyright © Japan Science and Technology Agency | |
| Copyright © 2025 CJKI. All Rights Reserved | |
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのConstraint logic programming (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
閲覧履歴
 | 「constraint logic programming」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
