如何在prolog中执行此操作而不会导致无限循环？

Question

我想在Prolog中做这样的事情：

some_commutative_property(X,Y) :- some_commutative_property(Y,X).
some_commutative_property(1,2).
some_commutative_property(3,4).

这样查询some_commutative_property(1,2).和some_commutative_property(2,1).都会返回true。

问题显然是第一行创建了一个无限循环。我怎么能绕过这个？

Answer 1

可能有多种解决方案：

• 将谓词拆分为两个：

  some_commutative_property(X,Y) :- some_commutative_property_aux(X,Y). some_commutative_property(X,Y) :- some_commutative_property_aux(Y,X).

some_commutative_property_aux(1,2).和some_commutative_property_aux(3,4).

• 执行订单：

  some_commutative_property(X,Y) :- X>Y, some_commutative_property(Y,X).

使用some_commutative_property_aux(1,2).和some_commutative_property_aux(3,4).这只会假设基本事实仅为some_commutative_property(A,B) A =< B形式。

• 如果您不喜欢这些解决方案，可以使用称为tabling的记忆机制。到目前为止，并非所有Prolog方言都支持制表，例如，XSB。正如David S. Warren解释“The idea is very simple: never make the same procedure call twice: the first time a call is made, remember all the answers it returns, and if it's ever made again, use those previously computed answers to satisfy the later request. In XSB the programmer indicates what calls should be tabled by using a compiler directive"。在原始代码中添加:- table some_commutative_property/2也可以解决问题。