prolog toとは 意味・読み方・使い方

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

変数付自然言語文（ＶＬＡＮＫ文）について、シンボル同士の相対的位置関係の存在の類似性や位置関係の存在の結束性等、パターンとしての類似性により文間の論理的類似性を計算機により評価してＰＲＯＬＯＧ同様の推論ないし手続き的解釈を行う。 - 特許庁