プロローグ - マージシンボル

Question

（恩赦私の専門用語が間違っている場合...私はプロローグに新たなんだ。）

あなたは述語のいくつかの未知の数に登場する一連のシンボルがあると（または規約？） 。

f1(a, b, c, d). 
f2(b, b, c). 
... 
fn(b, d, e). 

後 - 実行時に - あなたは用語aとbが同じである、とあなたがそれらをマージしたり、他でそれらのいずれかを交換したいことを実現します。言い換えれば、私はどちらかしたいと思います：

• a = b
• は（gensymは/ 2を介して行わ）新しいシンボル
• でaとbを交換しb
• でaのすべてのインスタンスを置き換えてください。これを達成する他のもの

...どの述語がこれらの用語を使用するかわかりません。

Answer 1

大文字で始まる原子は変数です。最初のステップは、AとBを使用することです。ある時点で、2つの変数が実際に等しいと判断した場合は、A = Bと言うだけです。論理的には、あるものが別のものであるということを示すプロセスは、「統一」である。

veryDifferentOrTheSame(A,B) :- veryDifferent(A,B). 
veryDifferentOrTheSame(A,B) :- A = B. 

もちろん、統合は必ずしも機能しません。 a(X) = b(X)は失敗します。

これはコードが書かれたときに、あなたはA = Bが不明であることを知っていました。

実行時に動的に句をアサートすることもできます。節を動的として宣言し、asseraまたはassertzを使用します。

しかし、あなたが状態ならば：

iOwn(goldfish). 
iOwnFish :- iOwn(fish). 

してから言って、その仕事をしたい「私の宇宙の魚に=金魚」、あなたは奇妙な領土にいます。