Prolog Language
論理純度

dif / 2

述語dif/2は純粋な述語です。すべての方向で使用することができ、すべてのインスタンス化パターンで使用できます。 常に 2つの引数が異なることを意味します。

CLP（FD）制約

CLP（FD）制約は完全に純粋な関係です。宣言的整数演算のためにあらゆる方向で使用できます：

?- X #= 1+2.
X = 3.

?- 3 #= Y+2.
Y = 1.

統一

統一は純粋な関係です。それは副作用を生成せず、いずれかまたは両方の引数を完全に、または部分的にのみインスタンス化して、すべての方向で使用できます。

Prologでは統一が起こる

• (=)/2やunify_with_occurs_check/2などのunify_with_occurs_check/2述語を使用して、 明示的に
• 適切な節を選択するために統一が使用されるとき、 暗黙のうちに。