Prolog从列表中删除多个元素

如何解决Prolog从列表中删除多个元素

| 我知道如何从列表中删除一个元素，但是有一种方法可以从列表中删除多个元素？例如，

deletelist([a,b,c,a,b],[a,c],X)
X = [b,b] % delete a and c from the list.

    

解决方法

SWI-Prolog提供

subtract/3

：

?- subtract([a,b,c,a,b],[a,c],X).
X = [b,b].

?- listing(subtract).
lists:subtract([],_,[]) :- !.
lists:subtract([A|C],B,D) :-
    memberchk(A,B),!,subtract(C,D).
lists:subtract([A|B],C,[A|D]) :-
    subtract(B,D).

    ,要删除多个元素，我们检查一个元素是否在第二个列表中，并在条件为true时将其删除：

deletelist([],[]).                  
deletelist([X|Xs],Y,Z) :- member(X,Y),deletelist(Xs,Z),!.
deletelist([X|Xs],[X|Zs]) :- deletelist(Xs,Zs).

    ,这是一个始终产生正确答案（模终止）的定义：

deletelist(Xs,Ys,Zs) :-
   tfilter(not(list_memberd_truth(Ys)),Xs,Zs).

not(G,E,T) :-
   call(G,NT),( NT = true,T = false
   ; NT = false,T = true
   ).

list_memberd_truth(Xs,X,Truth) :-
   memberd_truth(X,Truth).

使用

tfilter/3

和 answers6ѭ来自其他答案。如果您的Prolog不支持

dif/2

，请参阅

iso_dif/2

以获取安全近似值。 一些更不寻常的问题仍然可以解决：

?- deletelist([a],[X],Zs).
X = a,Zs = [] ;
Zs = [a],dif(X,a) ;
false.

?- deletelist([X],[Y],[X]).
 dif(X,Y) ;
false.

在这里，一些查询实际上应该失败（并因此终止），而是循环。请注意，循环比给出错误答案要好得多。

?- deletelist([a],Zs,Zs).
ERROR: Out of global stack

?- deletelist(Xs,Xs).
Xs = [] ;
ERROR: Out of local stack

    ,

% sorry!

deletelist(Xs,Zs) :-
        findall(A,(
                    member(A,Xs),\\+(member(A,Ys))),Zs).

    ,

deletelist(Xs,[],Xs).
deletelist(Xs,[Y|Ys],Zs):-
    delete(Xs,As),deletelist(As,Zs).

要删除列表中的单个元素，可以使用库函数\'delete / 3 \'，该函数接收一个列表以及要从该列表中删除的项目，并返回删除了该项目的新列表。我已经利用了这一点，并且将需要从列表中删除的项目重新列出。