プロローグのメンバルールが期待どおりに機能しない

Question

私は訪問先リストに部屋を追加する前に、簡単な迷路検索プログラムをプロローグに書き込もうとしています。すでに訪問したリストのメンバーであるかどうかを確認しています。しかし、本書のコードを使用しても、これを動作させることはできません。

d(a,b). 
d(b,e). 
d(b,c). 
d(d,e). 
d(c,d). 
d(e,f). 
d(g,e). 


go(X, X, T). 
go(X, Y, T) :- 
    (d(X,Z) ; d(Z, X)), 
    \+ member(Z,T), 
    go(Z, Y, [Z|T]). 

どうしたらよいですか？

Answer 1

あなたのプログラムは正常であるようです。 問題は、3番目の引数をuninstantiatedにしてgo/3を呼び出していることです。 その場合、メンバー（X、T）は常に成功し、したがって節は失敗します。

空リストを使用して述語を3番目のパラメータとして呼び出すことができます。

go(From, To, Path):- 
    go(From, To, [], Path). 

go(X, X, T, T). 
go(X, Y, T, NT) :- 
    (d(X,Z) ; d(Z, X)), 
    \+ member(Z,T), 
    go(Z, Y, [Z|T], NT).