Prolog 查找所有帮助

Question

所以我有一个火车站数据库，简单地标记为火车（st1，st4）。等等

我想实现一个查找所有谓词，以便用户可以查询所有路径（X，Y，路径）。 代码将返回从 X 到 Y 的所有路径。

任何帮助都会很棒，谢谢

Answer 1

train(st1,st4).
train(st1,st2).
train(st2,st3).
train(st3,st4).
train(st4,st5).
train(st3,st6).
train(st6,st5).
find(X,Y,[X|Y]):-train(X,Y).
find(X,Y,[X|Q]):-train(X,Z),find(Z,Y,Q).
findall2(X,Y):-find(X,Y,Q),write(Q),nl,fail.

我希望这就是您正在寻找的东西。

Answer 2

与 @sowa 的答案相同，但最后一行更改为：

allpaths(X, Y, Ps) :- findall(P, find(X, Y, P), Ps).

findall/3 是内置的 Prolog 谓词。