Prolog：如何删除谓词中的对称值

Question

我有一个关于删除对称值的问题 我的谓词。这些谓词在我的数据库中，我使用了 assertz 将它们添加到那里。

所以我有：

foo(a,b).
foo(b,a).
foo(c,d).
foo(e,f).
foo(f,e).

我正在尝试删除

foo(b,a).
foo(f,e).

我试图制定这条规则：

remove :- foo(A,B),foo(B,A),retract(foo(B,A)).

但是，这会删除我数据库中的所有谓词，我不知道如何 防止这种情况发生。

如果有人可以帮助我，我将不胜感激！

谢谢。

Answer 1

retract/1 有两种不同的语义：

• 立即更新视图：回溯后，收回的子句不再可见（它们立即变得不可见）。
• 逻辑更新视图：在回溯时，撤回的子句仍然可以看到（它们仅在下一次谓词调用时才变得不可见）。此更新视图是 ISO 标准。

在逻辑更新视图中，例如调用谓词remove/1时：

• 首先它看到foo(a,b) 和foo(b,a)，因此它收回foo(b,a)。
• 之后，在回溯时，它看到了foo(b,a) 和foo(a,b)，因此它也撤回了foo(a,b)。

要解决此问题，您可以使用 ISO 内置谓词 once/1（防止回溯）。

:- dynamic foo/2.

foo(a,b).
foo(b,a). 
foo(c,d).
foo(e,f).
foo(f,e).

remove :- 
    once( ( foo(A, B),
            foo(B, A),
            retract(foo(B, A)) ) ).

要只撤回一个对称的事实，你可以问：

?- listing(foo), remove, listing(foo).
:- dynamic foo/2.

foo(a, b).
foo(b, a). % <== only this fact is retracted!
foo(c, d).
foo(e, f).
foo(f, e).

:- dynamic foo/2.

foo(a, b).
foo(c, d).
foo(e, f).
foo(f, e).

true.

要收回所有对称事实，您可以定义：

remove_all_sym :-
    (   remove
    ->  remove_all_sym
    ;   true ).

例子：

?- listing(foo), remove_all_sym, listing(foo).
:- dynamic foo/2.

foo(a, b).
foo(b, a). % <== this fact is retracted!
foo(c, d).
foo(e, f).
foo(f, e). % <== this fact is retracted!

:- dynamic foo/2.

foo(a, b).
foo(c, d).
foo(e, f).

注意更好的选择是避免将对称事实插入数据库：

assert_foo(A, B) :-
    (   foo(B, A)          
    ->  true                
    ;   assertz(foo(A, B)) ).