如何在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).

with some_commutative_property_aux(1,2).和some_commutative_property_aux(3,4).只有在假设基本事实只是形式的情况下才能some_commutative_property(A,B)使用A =< B.

• 如果您不喜欢这些解决方案,可以使用称为tabling的memoization机制.到目前为止,并非所有Prolog方言都支持制表,例如,XSB.正如David S. Warren所说:" 这个想法非常简单:永远不要进行两次相同的程序调用:第一次调用时,记住它返回的所有答案,如果再次进行,请使用先前计算的答案来满足稍后的请求.在XSB中,程序员通过使用编译器指令来指示应该调用哪些调用.添加:- table some_commutative_property/2到原始代码也可以解决问题.