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
述語を使用して、 明示的に - 適切な節を選択するために統一が使用されるとき、 暗黙のうちに。
Modified text is an extract of the original Stack Overflow Documentation
ライセンスを受けた CC BY-SA 3.0
所属していない Stack Overflow