在不知道节点的情况下查找关系的所有路径 Prolog

Question

我想获取关系中的所有路径，但如果没有给我一个结束节点，我不知道该怎么做。我已经尝试了多种方法来实现这一点，这就是我目前拥有的......

• Rel - 关系，
• S - 源节点（第一），
• T - 目标节点（最后一个），
• [S|Cons] - 路径，
• N - 长度

图（相对，S，T，[S|Cons]，N）：- 呼叫（相对，S，X）， （X = T；图（Rel，X，T，[X|Cons]，N））。

当我用...测试它时

graph(myRelation, _, _, _, _), false.

它只是无限循环。我假设这是因为除了关系之外我没有得到任何术语变量，但我认为当我使用 call 时它会分配 X，所以我可以以这种方式填充路径 ([S|Cons])。

Answer 1

您在这里定义了一个谓词，每次都会调用自己（除非call(Rel, S, X) 失败，但即便如此也永远无法“检索”结果），您需要一个停止条件。

该条件是当源S和目标T相同时，在这种情况下，我们返回一个包含S和N=0的列表作为路径：

graph(_, S, S, [S], 0).

此外，在递归的情况下，我们必须使用N 和“路径”进行适当的记账：

graph(Rel, S, T, [S|Rest], N) :-
    call(Rel, S, X),
    N1 #= N-1,
    graph(Rel, X, T, Rest, N1).

因此，我们得到：

:- use_module(library(clpfd)).

graph(_, S, S, [S], 0).
graph(Rel, S, T, [S|Rest], N) :-
    N #> 0,
    call(Rel, S, X),
    N1 #= N-1,
    graph(Rel, X, T, Rest, N1).