小编Ed *_*rts的帖子

我有一组规则和一组具有相同谓词的事实

p(1).
p(2).
g(1,1).
h(3,2).
p(X):- g(X,Y).
p(X):- h(X,Y).

我想做一个类似收回的谓词，只删除规则而不删除事实。所以像这样：

retractRules(p(X)).

在 Prolog 中如何做到这一点？