Prolog Language
演算子

定義済み演算子

ISO / IEC 13211-1および13211-2に準拠する事前定義済み演算子：

多くのシステムでは、実装固有の拡張機能として、さらに演算子が用意されています。

オペレータ宣言

Prologでは、カスタム演算子はop/3を使用して定義できます。

op(+Precedence, +Type, :Operator)

• 演算子を優先順位付きの型の演算子として宣言します。演算子は、リストのすべての要素が同じ演算子であると宣言されている場合は、名前のリストにすることもできます。

• 優先順位は0〜1200の整数で、0は宣言を削除します。

• ：タイプの一つであるxf 、 yf 、 xfx 、 xfy 、 yfx 、 fyまたはfx fファンクタとの位置を示しx及びy引数の位置を示します。 yはファンクタの優先順位より低いか等しい優先順位を持つ項を表し、 xは厳密に低い優先順位を表します。

  • プレフィックス： fx 、 fy
  • インyfx ： xfx （非結合）、 xfy （右結合）、 yfx （左結合）
  • Postfix： xf 、 yf

使用例：

:- op(900, xf, is_true).

X_0 is_true :-
  X_0.

クエリ例：

?- dif(X, a) is_true.
dif(X, a).

ターム発注

2つの用語は、標準的な順序で比較することができます。

変数@ <numbers @ <atoms @ <strings @ <structures @ <lists

ノート：

• 構造はまずファンクタによってアルファベット順に比較され、次にアーリティによって、最後に各引数の比較によって比較されます。

• リストの長さを比較し、次に各要素を比較します。

クエリ例：

?- alpha @< beta.
true.

?- alpha(1) @< beta.
false.

?- alpha(X) @< alpha(1).
true.

?- alpha(X) @=< alpha(Y).
true.

?- alpha(X) @> alpha(Y).
false.

?- compound(z) @< compound(inner(a)).
true.

長期均等