我编写了一个Prolog程序，用于在无向图（或迷宫）中搜索路径。
pway(a, b,10).pway(b, e,10).pway(b, c,10).pway(d, e,10).pway(c, d,10).pway(e, f,10).pway(g, e,10).solve(X,X,T,N) :- write(T), N is 0. % do nothingsolve(X,Y,T,N) :- pway(X, Z,C), not(member(Z, T)), solve(Z, Y, [Z|T],M), N is M+C. % There is a pway from X to Z, new list has z as head.solve(X,Y,T,N) :- pway(Z, X,C), not(member(Z, T)), solve(Z, Y, [Z|T],M),N is M+C. % same, just takes care of non-directedness我打算使用这个程序来进行如下查询：
?- solve(a,f,P,N). 即，给出从a到f的路径P及其成本。
但这并未按预期工作。当我输入（P预期是一个列表）
?- solve(e,b,P,N).false. 我得到false。（为什么？）
但是，当我输入：
?- solve(e,b,[],N).[b,e,f]N = 30 ;[b,c,d,e,f]N = 50 ;[b]N = 10 ;[b,e,d]N = 30 ;[b,c,d]N = 30 ;[b,e,g]N = 30 ;[b,c,d,e,g]N = 50 ;false.我得到了结果。实际上，我从不希望在Prolog程序本身中使用write命令，我应该只通过输入第一个查询（返回false的那个）就能得到相同的结果。我无法找出错误所在。
任何帮助都将不胜感激。谢谢。
回答：
这是因为第三个参数并不是你所期望的#1和#2两个节点之间的路径。如果你在第三个参数中传递一个变量，那么目标not(member(Z, T))总是会失败，因此solve/3也会失败。
从你所说的话来看，你可能想要做的是这样的东西。
solve(X,Y,T,N) :- solve(X,Y,[],N,T).solve(X,X,T,0,T).solve(X,Y,T,N,O) :- pway(X, Z,C), \+ member(Z, T), solve(Z, Y, [Z|T],M,O), N is M+C.solve(X,Y,T,N,O) :- pway(Z, X,C), \+ member(Z, T), solve(Z, Y, [Z|T],M,O),N is M+C.