Prolog GNU - 遇到困难，列表和递归

Question

所以，我仍然不完全理解列表和递归在序言中是如何工作的，这可能就是我遇到问题的原因，但我什至不知道如何开始这个问题。

有一个朋友名单。

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

我必须通过其他人最多两个朋友的朋友来查找某人是否是朋友。

例如，如果我这样做了

fof(a,e, List).

，那么我应该得到

List = [a, b, e];
List = [a, c, e];
List = [a, c, g, e]; <-- anything past this point won't work

所以基本上你检查自己，然后看看你的朋友是否是 person2 的朋友，然后看看他们的朋友是否是 person2 的朋友，如果他们被添加到列表中。

但不太确定如何执行此操作。

好的，所以我得到了与我需要的类似的东西。

fb(X,X,_).
fb(X,Y,List) :- 
    friend(X,Y),
    X \== Y,
    List = [X,Y].
fb(X,Y,List) :-
    friend(X,Z),friend(Z,Y),
    X \== Y, X \== Z, Z \== Y,
    List = [X,Z,Y].
fb(X,Y,List) :-
    friend(X,Z),friend(Z,Q),friend(Q,Y),
    X \== Y,X \== Z, X \== Q, Z \== Q, Z \== Y, Q \== Y,
    List = [X,Z,Q,Y].

这似乎有效，但似乎我可以用递归来压缩它，只是不确定如何。

Answer 1

我假设您已将 friend(X,Y) 定义为 true，如果 f(X,Y) 或 f(Y,X) >。

您的问题可以通过添加指定允许的最大路径长度的参数并在每次递归调用之前递减该参数来递归解决。

fof(X,X,[X],_).
fof(X,Z,[X|Path],N) :-
    N >= 1,
    friend(X,Y),
    M is N-1,
    fof(Y,Z,Path,M),
    \+ member(X,Path).  % no duplicates

通过 max 联系朋友的朋友。两个中介，即分三步：

?- fof(a,e,L,3).
L = [a, b, c, e] ;
L = [a, b, e] ;
L = [a, c, e] ;
L = [a, c, g, e] ;
L = [a, c, b, e] ;
false.

?- fof(a,z,L,3).
false.