prolog - 如何在 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).and这只有在基本事实只有withsome_commutative_property_aux(3,4).形式的假设下才有效。some_commutative_property(A,B)A =< B

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