プロログの英語
追加できません
(登録数上限)
単語を追加
英訳・英語 prolog
「プロログ」を含む例文一覧
該当件数 : 4件
プロログにおけるよりも複雑な逆戻り法の実装例文帳に追加
Implementation of backtracking more complex than in Prolog発音を聞く - コンピューター用語辞典
PROLOG(プロログ)は人工知能用(言語)として1960年中頃にヨーロッパで開発された例文帳に追加
PROLOG(PROgramming in LOGic) was developed in Europe in the mid 1960's for artificial intelligence発音を聞く - コンピューター用語辞典
論理プログラミングの理論的取り扱いでは、プロログの非常に単純な定式化、すなわち純確定ホーン節プログラムを使うことがよくある。例文帳に追加
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.発音を聞く - コンピューター用語辞典
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
|
|
|
プロログのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
| This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence. | |
| Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
| All Rights Reserved, Copyright © Japan Science and Technology Agency | |
|
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License |
|
| Copyright(C)2002-2024 National Institute of Information and Communications Technology. All Rights Reserved. | |
| Copyright © 2024 CJKI. All Rights Reserved |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
-
1gemini
-
2legislative council
-
3translate
-
4nightscape
-
5i hope to see you soon.
-
6fast
-
7present
-
8bold
-
9feature
-
10consider
閲覧履歴
 | 「プロログ」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
