リストを比較する述語を作る？

Question

私はPrologには比較的新しいので、私に同行してください。 same(P1, P2, H)は本当だろう

hobbies(mark, [running, video_games, soccer]) 
hobbies(jasmine, [writing, swimming, music]) 
hobbies(john, [rugby, rowing, pets, politics]) 
hobbies(lisa, [gymnastics, dancing, television]) 

私は今何をしたいか、述語を定義している（のはsameそれを呼びましょう）：私は、それぞれ1人が含まれており、どのような彼らの趣味は（リストに）していることは事実を持っていると言いますP1とP2に趣味がある場合はHが共通です。私はメンバー述語を使用する必要があることを知っていますが、これまで単純なケースでそれを使用する方法を学んだだけです。

same(P1, P2, H) :- member(H, P1), member(H, P2) 

もちろん、私はそれができないことを知っています。それらの事実の中でリストにアクセスするにはどうすればいいですか？

Answer 1

member述語を使用するには、リストが必要です。だから、P1とP2の趣味のリストを取得する必要があります。どうやってするの？ 'H'が趣味で、 `P1`が人であるため hobbies事実

hobbies(mark, [running, video_games, soccer]). 
hobbies(jasmine, [writing, swimming, music]). 
hobbies(john, [rugby, rowing, pets, politics]). 
hobbies(lisa, [gymnastics, dancing, television, video_games]). 

same(P1, P2, H) :- 
    % Hobbies1 is a list of hobbies of P1 
    hobbies(P1, Hobbies1), 
    member(H, Hobbies1), 
    % Hobbies2 is a list of hobbies of P2 
    hobbies(P2, Hobbies2), 
    member(H, Hobbies2), 
    % P1 and P2 are not the same. Also eliminates symmetrical redundancy 
    P1 @< P2. 

クエリ

?- same(P1, P2, H). 
P1 = mark, 
P2 = lisa, 
H = video_games ; 
false. 

を使用すると、