「prolog」に関連した英語例文の一覧と使い方

「prolog」を含む例文一覧(19)

a computer programming language called PROLOG
PROLOGという,プログラミング言語 - EDR日英対訳辞書
Prolog processor instruction sets and Prolog compiler abstract instruction sets
Prologプロセッサ命令セットおよびPrologコンパイラ抽象命令セット - コンピューター用語辞典
Resolution principle is the basis of Prolog.
導出原則はPrologの基礎である。 - コンピューター用語辞典
Automated debugging of non-terminating Prolog programs
非終了型Prologプログラムの自動化デバッギング - コンピューター用語辞典
object oriented programming in Concurrent Prolog
コンカレントPROLOGにおけるオブジェクト指向プログラミング - コンピューター用語辞典
PROLOG(PROgramming in LOGic) was developed in Europe in the mid 1960's for artificial intelligence
PROLOG(プロログ)は人工知能用(言語)として1960年中頃にヨーロッパで開発された - コンピューター用語辞典
PROLOG was adopted by ICOT(Institute for new generation COmputer Technology) as a kernel language for the fifth generation computer system
PROLOGは,ICOTによって第五世代コンピュータ用のカーネル(核)言語として採用された - コンピューター用語辞典
Instead of describing the procedure of processing, users instruct the computer in logic with PROLOG
ユーザは,処理の手続きを記述するのでなく,PROLOGでコンピュータに論理(ロジック)を命令する - コンピューター用語辞典
MARKUS, a derivative of Shapiro's Model Inference System MIS, induces Prolog programs from positive and negative examples.
シャピロのモデル推論システム（MIS）の派生の一つであるMARKUSは、正および負の例からPrologプログラムを誘導する。 - コンピューター用語辞典
Implementation of backtracking more complex than in Prolog
プロログにおけるよりも複雑な逆戻り法の実装 - コンピューター用語辞典
Unlike some other operator precedence grammars (such as Prolog), it is possible to define operators which are multi-part, ...
他の演算子順位文法（Prologのような）とは違って、これは複数パートである演算子を定義することも可能であり、... - コンピューター用語辞典
To provide a method for inference same as in PROLOG by utilizing a natural language text.
自然言語テキストを利用してＰＲＯＬＯＧ同様の推論を行う。 - 特許庁
Superimposed coding, a general method of partial match data retrieval, is adapted to give a general solution to the Prolog clause indexing problem.
部分一致データ検索の一般的な手法である重ね合わせコーディングが、Prologの節の索引付けに対する一般的解決法を与えるように変更される。 - コンピューター用語辞典
We conclude that combining an enhanced Reggie, DAML and a powerful reasoning engine based on Prolog will enable semantic service discovery for m-commerce applications.
強化されたReggie、DAMLおよびPrologに基づく強力な推論エンジンを組合わせて、モバイル・コマース応用向けの意味論的サービス発見が可能になることを結論付ける。 - コンピューター用語辞典
METHOD AND DEVICE FOR STRUCTURING CALL RULE PROLOG AND EPILOG CODES USING REGISTER ALLOCATOR
レジスタ割当器を用いた呼出規則プロローグ・エピローグコード構築方法及び装置 - 特許庁
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.
我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する． - コンピューター用語辞典
For a natural language statement (VLANK statement) having variables, the logical similarity between statements is evaluated by a computer according to similarity as a pattern, such as similarity in the presence of the relative position relationship between symbols and the binding properties of the presence of position relationship, for inferring or procedural interpretation same as in PROLOG.
変数付自然言語文（ＶＬＡＮＫ文）について、シンボル同士の相対的位置関係の存在の類似性や位置関係の存在の結束性等、パターンとしての類似性により文間の論理的類似性を計算機により評価してＰＲＯＬＯＧ同様の推論ないし手続き的解釈を行う。 - 特許庁
When there are a plurality of unification (substitution set) candidates between VLANK statements, promising degree of each unification candidate is calculated by similarity as a pattern between a VALNK statement (or VLANK statement set) (at the right side in PROLOG) created by unification and at least one statement (it may be discrete or the information source may be different) in the knowledge source.
ＶＬＡＮＫ文間のユニフィケーション（代入組）候補が複数存在する場合、各ユニフィケーション候補の有望度を、ユニフィケーションによりできる（ＰＲＯＬＯＧでは右辺の）ＶＡＬＮＫ文（ないしはＶＬＡＮＫ文集合）と知識源内の１以上の文（離散的であってもよく情報源が別であってもよい）とのパターンとしての類似性により計算する。 - 特許庁

「prolog」を含む例文一覧(19)

例文データの著作権について