Prolog、友達の友達

Question

私はPrologに新しいです。私は、ある人物が他の人の友人か友人かどうかを調べるための質問を書こうとしています。

私はこのようないくつかの事実を持っている：私はこのような何かをした

visible(joe, ann). 
true 

：

friends(joe, [john, ann, pete, ellen, 
      maria, jose, bruno, ali, jing, yang]). 
friends(john, [rick]). 
friends(ellen, [mia, xing, jun, maria]). 
friends(maria, [pete, ellen, zhang, jose, serena]). 
friends(serena, [ali, rick, zhang, mia]). 
friends(jose, [maria, jose, bruno, ali, jing]). 

私の目標は、このようなクエリ書くことです

visible(X,Y) :- friends(X,[Y|T]); member(Y,T). 
visible(X,Y) :- visible(X,Z), visible(Z,Y). 

member(X,[X|T]). 
member(X,[H|T]) :- member(X,T). 

をしかし、それは無限ループになります。私はベースケースを書く方法を知らない。

この関係はループを持つグラフです。友人の友人を再帰的に見つけ出すにはどうしようもありませんか？

Answer 1

visible(X,Y):- friends(X,YS), member(Y,YS). 
visible(X,Y):- friends(X,XF), friends(Y,YF), member(Z,XF), member(Z,YF). 

最初の行をチェックし、二人は直接の友人（YがXの友人のリストに含まれている）している場合。 2番目の行は、2つのpeolpeが友人の友人かどうかをチェックします（ZはXとYの両方の友人のリストにあります）。また、共通の友人であることを知りたい場合は、write(Z)を追加できます。この場合、例えば、joeはjohnの友人ですが、逆の意見はありません。友人（X、イース）、メンバー（Y、イース）.`や ` - ：

?-visible(john,serena). 
true. 

?-visible(joe,john). 
true. 

?-visible(john,joe). 
true. (only if you add the third line of code).