リストを含むプロローグ述語

Question

リストを比較することによって、リスト内の特定の要素を見つける述語を書きたいと考えています。私はメンバーを使用するか選択しようとしてきたので、私はちょうど、誰かがこのような何かがうまくいく方法を説明したい

likes(phil, [apple, banana, orange]). 
likes(hetti, [apple, cherry, grapes]). 

など

：たとえば、私は、インスタンスのために持っている可能性があり、データは次のように可能性があり;これについての情報を見つけることはより難しいようです。パターンマッチングを使用できますか？

Answer 1

普通の好きなものがphilとhettiの間にあることを知りたいと思われる可能性があります。その場合、コードは

?- bothlike(phil, hetti, Ls), write(Ls), nl. 

bothlike(X, Y, Ls) :- 
    likes(X, Xs), 
    likes(Y, Ys), 
    intersection(Xs, Ys, Ls). 

likes(phil, [apple, banana, orange]). 
likes(hetti, [apple, cherry, grapes]). 

intersection([], _, []). 
intersection([H1|T1], L2, L3) :- 
     member(H1, L2), 
     !, 
     L3 = [H1|T3], 
     intersection(T1, L2, T3). 
intersection([_|T1], L2, L3) :- 
     intersection(T1, L2, L3). 

です。回答は[apple]です。