再帰で変数を割り当てる方法は？

Question

、すなわち

inBox(a,b). 
inBox(b,c). 
inBox(c,d). 

INBOX（x、y）はmeansbox xはボックスyにある、あなたが他のボックス内のボックスの束を持っていると仮定する。今は、あるボックスが別のボックスの内部にあるかどうかを判断するメソッドを記述したいと思います。 insideBox（a、d）=真はaが内側のbで内側のcの内側にあるので真である。

insideBox(X, Y) :- inBox(X, Y), inBox(X, Z), insideBox(Z,Y). 

ロジックは、最初のボックスかどうかXのベースケースをチェックすることです。だから、自然に再帰的な問題と、それは「ワンボックスを上に移動」するために私の変数を初期化するために失敗した解決で私の試みであるように見えます現在ボックスY内にある場合は、inbox（X、Z）を呼び出してボックスXの値を取得し、再帰メソッドを呼び出します。私は、トレースを見て試してみましたが、何が起こっているのかの理由ではないことができます。

| ?- insideBox(a,d). 
    1 1 Call: insideBox(a,d) ? c 
    2 2 Call: inBox(a,d) ? c 
    2 2 Fail: inBox(a,d) ? c 
    1 1 Fail: insideBox(a,d) ? c 

私はZのような他のものは、変数Zを設定するための受信トレイ（X、_）で試してみたが、これは働いていませんどちらかと私はZがどのようにaの値で終わっているかの手がかりを持っていません。

?- insideBox(a,d). 

inBox(a,b). 
inBox(b,c). 
inBox(c,d). 

insideBox(X,Z) :- inBox(X,Z). 
insideBox(X,Z) :- inBox(X,Y), insideBox(Y,Z). 

ジャストサイドノート：あなたが使用条件に注意してください

Answer 1

はこれを試してみてください。変数を "代入"するのではなく、 "統一"します。また、あなたは "メソッド"を書いていない、あなたは "述語"を書いている。