3

プロローグで2つのリストが同じ要素を持っているかどうかを判断する方法は? リストAとBの2つのリストがある場合、それらが同じ要素を持っているかどうかを知りたいです。

4

5 に答える 5

3

述語を書く必要があります。member/2おそらくprologビルトインが役に立つでしょう。

答えを出さずにこれ以上言うのは難しいです。ちょっと考えてみてください。あなたはそれを得るでしょう。

于 2009-11-17T11:20:16.443 に答える
1

を使用してはintersection/3どうですか？

doesIntersect(X,Y) :-
    intersection(X,Y,Z),
    dif(Z,[]).

intersection/3が空のリストを生成する場合、リストには共通点がなく、結果は false です。

intersection/3member/2再帰的に呼び出します:

intersection([X|Tail],Y,[X|Z]) :-
    member(X,Y),
    intersection(Tail,Y,Z).
intersection([X|Tail],Y,Z) :-
    \+ member(X,Y),
    intersection(Tail,Y,Z).
intersection([],_,[]).

ソース。

于 2015-06-23T10:30:33.847 に答える
1

組み込みの predicate に基づく純粋な実装から始めmember/2ます。

common_member(Xs,Ys) :-
   member(E,Xs),
   member(E,Ys).

サンプルクエリ:

?- common_member([1,2,3],[1]).
  true
; false.

?- common_member([1,2,3],[4]).
false.

?- common_member([1,2,3],[2,3,1]).
  true
; true
; true
; false.

宣言的には、上記のコードは問題ありません。ただし、成功すると無駄な選択肢が残ります。また、両方のリストに複数のアイテムが存在する場合、冗長な回答が得られます。

論理的に純粋な状態を保ちながら、上記の効率面を改善できますか? はい！

しかし、どのように？if_/3具体化されたテスト述語と一緒に使用することでmemberd_t/3!

common_memberd([X|Xs],Ys) :-
   if_(memberd_t(X,Ys), true, common_memberd(Xs,Ys)).

上記のサンプル クエリをもう一度実行してみましょう。今回は次のようにしcommon_memberd/2ます。

?- common_memberd([1,2,3],[1]).
true.

?- common_memberd([1,2,3],[4]).
false.

?- common_memberd([1,2,3],[2,3,1]).
true.

冗長な回答は排除され、後続のクエリは決定論的にそうします。

common_memberd/2は純粋であるため、非常に一般的なクエリに対しても適切な回答が得られることに注意してください。

?- common_memberd([1,2,3],[A,B]).
      A=1
; dif(A,1),                         B=1
;               A=2 ,           dif(B,1)
; dif(A,1), dif(A,2),                         B=2
;                         A=3 , dif(B,1), dif(B,2)
; dif(A,1), dif(A,2), dif(A,3),                     B=3
; false.
于 2015-06-20T18:22:59.413 に答える
0

differs/2リストのいずれかの要素がリストのAメンバーでないかどうかを検証する述語を作成することから始めることができますB。Aこの条件を満たす要素を に見つけることができれば、Aに含まれていないと断言できますB。Aのすべての要素がに存在することを確認しようとする方が実際には簡単ですB。
組み込みの predicate を使用するとmember/2、次のdiffers/2ようになります。

differs(T, Q):- 
         member(X,T), 
         not( member(X, Q)).

両方のリストに同じ要素が含まれていることを証明するには、含まれていないことを確認する必要がありますdiffers。@repeat で使用されているのと同じ述語名を使用して (興味深いことに、今繰り返すのは誰ですか?)、これが私のcommon_memberd\2述語です。

common_memberd(T, Q):- 
                not( differs(T, Q)), 
                not( differs(Q, T)).

相談:

?- common_memberd( [2,3,4,1], [3, 1,4,2]).  
   true.  
?- common_memberd( [2,3,1,5], [3, 1,4,2]).  
   false.

注: この解決策は、要素の順序に関係なく、または要素が重複しているかどうかに関係なく機能します。

于 2015-06-22T20:53:12.420 に答える
-1

これがあなたが探しているものかどうか教えてください：

same(T, Q) :- any(T, Q), !; any(Q, T), !.

any([X|_], [X,_]):- !.
any([X|T], Q) :- member(X, Q), !; any(T, Q), !.

あなたがそれを参照する場合：

?- same([1,2,3,4], [3]).
true.

?- same([1,2,3,4], [4]).
true.

?- same([1], [1,4]).
true.

?- same([1,4], [1]).
true.
于 2009-11-18T04:42:54.793 に答える