prolog - Prolog 有 "if and only if"运算符吗？

Question

我通常会将这样的语句写成两个子句，如下所示:

x :- y.
y :- x.

在 Prolog 中，是否有任何简洁的方法来编写“if x then y，反之亦然”这样的语句？

换句话说，是否可以将“x 当且仅当 y”写为单个语句？

Answer 1

你说你通常会写“p 当且仅当 q”(我会在下面写 q <=> q)作为

p :- q.
q :- p.

但这只有在以下情况下才是正确的

p 和 q 没有其他子句

不涉及任何变量

在这种情况下，代码并没有真正说明什么有趣的东西，只是 p 和 q 是等价的，但没有说明它们是真还是假。

如果涉及变量，请说

p(X) :- q(X).
q(X) :- p(X).

那么意思是

forall X: p(X) <= q(X)  and  forall X': q(X') <= p(X')

这与

forall X,X':  p(X) <= q(X)  and  q(X') <= p(X')

当你真正想说的是

forall X:  p(X) <= q(X)  and  q(X) <= p(X)

另一方面，只要谓词只有一个子句，那么该子句就可以单独读作“当且仅当”。例如

p(X,Y) :- q(X,Z).

方法

forall X,Y  exists Z:  p(X,Y) <=> q(X,Z)

如果在别处定义了 q/2，那么写这个是明智的。这样你就可以定义别名、投影等。

你没有给出你的问题的任何背景，但是一旦你考虑变量，问“在什么情况下 p <=> q ？”是有意义的，其中 p 和 q 是任意定义的。然后你想写一些类似的东西

p_iff_q(X) :- p(X) <=> q(X).

其中，在普通的 Prolog 中，您必须重写为类似的内容

p_iff_q(X) :- p(X),q(X) ; \+p(X),\+q(X).