list - 在Prolog中不统一删除列表的所有成员

Question

这个问题在这里已经有了答案:




10年前关闭。

Possible Duplicate:
Prolog delete: doesn't delete all elements that unify with Element

在 Prolog 中，如果你这样写:

delete([(1,1),(1,2),(1,1),(3,4)],(1,_),L).

结果将是:

L = [ (1, 2), (3, 4)].

这是正常的，因为 _ 变量在第一个元素中与 1 绑定(bind)，它会搜索 (1,1) 的其他元素并删除它们。

有没有办法防止这种统一发生并删除表单(1，_)的所有成员。
在这种情况下，结果必须是:
L = [ (3, 4)]。

Answer 1

delete_pattern([], _, []).
delete_pattern([H|T], P, O) :-
    (    H \= P
    ->   O = [H|O1],
         delete_pattern(T, P, O1)
    ;    delete_pattern(T, P, O) ).

您可能希望使用其他谓词进行过滤，这些谓词会导致语义与 ==/2 略有不同。或 =@=/2 .