PROLOG 事实是双边的吗？

Question

所以我刚刚开始在 PROLOG（SWI 发行版）中编程。我有很好的逻辑基础，我熟悉事实、规则、量化和所有这些词汇。

据我所知，您可以定义一个事实，例如：

married(a,b).

而且我知道，如果您进行如下查询：

?: married(X,b).

答案将是“a”。我的问题是，如果我想制定一个使用先前声明的事实的规则，它会认为“a 与 b 结婚”，但它会考虑“b 与 a 结婚”还是我必须声明另一个事实喜欢：

married(b,a).

让它工作？任何可以表示为事实的双边关系都是如此。

Answer 1

你的意思是如果关系是自动对称的？然后不-假设您有一个带有edge(a,b) 的有向图，那么您不希望推断出另一个方向edge(b,a)。另外，arity 大于 2 的关系呢？

您始终可以将谓词的对称闭包创建为：

r_sym(X,Y) :-
  r(X,Y).
r_sym(X,Y) :-
  r(Y,X).

使用新的谓词名称可防止无限的派生链r(X,Y) -> r(Y,X) -> r(X,Y) -> ....。