Horn clauseとは 意味・読み方・使い方

Theoretical treatments of logic programming often use a very simple formulation of Prolog, namely pure definite horn clause programs:発音を聞く 例文帳に追加

論理プログラミングの理論的取り扱いでは、プロログの非常に単純な定式化、すなわち純確定ホーン節プログラムを使うことがよくある。 - コンピューター用語辞典

The abstract link description file is also prepared so that the abstract link can describe the quality of document elements of the document files of the link source and destination on the basis of Horn clause predicate representation.例文帳に追加

また、抽象リンク記述ファイルは、抽象リンクがホーン節述語表現に基づきリンク元の文書ファイルとリンク先の文書ファイルとの文書要素の性質を記述するように作成する。 - 特許庁