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

PROLOG was adopted by ICOT(Institute for new generation COmputer Technology) as a kernel language for the fifth generation computer system 例文帳に追加

PROLOGは,ICOTによって第五世代コンピュータ用のカーネル(核)言語として採用された - コンピューター用語辞典

PROLOG(PROgramming in LOGic) was developed in Europe in the mid 1960's for artificial intelligence 例文帳に追加

PROLOG(プロログ)は人工知能用(言語)として1960年中頃にヨーロッパで開発された - コンピューター用語辞典

Instead of describing the procedure of processing, users instruct the computer in logic with PROLOG 例文帳に追加

ユーザは,処理の手続きを記述するのでなく,PROLOGでコンピュータに論理(ロジック)を命令する - コンピューター用語辞典

Implementation of backtracking more complex than in Prolog 例文帳に追加

プロログにおけるよりも複雑な逆戻り法の実装 - コンピューター用語辞典

MARKUS, a derivative of Shapiro's Model Inference System MIS, induces Prolog programs from positive and negative examples. 例文帳に追加

シャピロのモデル推論システム（MIS）の派生の一つであるMARKUSは、正および負の例から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.例文帳に追加

自然言語テキストを利用してＰＲＯＬＯＧ同様の推論を行う。 - 特許庁

METHOD AND DEVICE FOR STRUCTURING CALL RULE PROLOG AND EPILOG CODES USING REGISTER ALLOCATOR例文帳に追加

レジスタ割当器を用いた呼出規則プロローグ・エピローグコード構築方法及び装置 - 特許庁

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に基づく強力な推論エンジンを組合わせて、モバイル・コマース応用向けの意味論的サービス発見が可能になることを結論付ける。 - コンピューター用語辞典

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

ＶＬＡＮＫ文間のユニフィケーション（代入組）候補が複数存在する場合、各ユニフィケーション候補の有望度を、ユニフィケーションによりできる（ＰＲＯＬＯＧでは右辺の）ＶＡＬＮＫ文（ないしはＶＬＡＮＫ文集合）と知識源内の１以上の文（離散的であってもよく情報源が別であってもよい）とのパターンとしての類似性により計算する。 - 特許庁