如何在prolog中表示OR函数

Question

我刚刚弄清楚如何运行 gprolog，prolog 的新问题让我很困惑。问题是指prolog中的二叉搜索树，假设

      8      
    /  \
   3   10  
  / \
 1   6

这里有两种类型的事实，当 X 是 Y 的左叶时 left(X,Y) 和当 X 是 Y 的右叶时 right(X,Y)，所以我可以说 left(3,8)和左（1,3）和右（10,8）作为我的事实。当 X 在事实方面高于 Y 时，是否执行上述规则（X，Y）？所以我在想的是，当 Y 是 X 的左叶或 Y 是 X 的右叶时，X 在 Y 之上。

我尝试了规则

  above(X,Y) :- left(Y,X); right(Y,X).

当我在 gprolog 中运行上面的查询 (3,1) 时。它问我真的吗？当我按下回车并返回是时，当我按下“;”它返回 no，因为系统一直在搜索第二个目标“right(1,3)”。 我只是在徘徊，无论我按回车还是分号，有没有可能返回yes？

Answer 1

如果我理解正确，你的代码（相关部分）是

left(1,3).
above(X,Y) :- left(Y,X); right(Y,X).

您的查询是：

?-above(3,1).

查询首先返回 true，因为您的目标已达到。然后它会询问您是否要寻找其他结果（分号），您告诉它继续寻找其他方式来证明您的目标，它会回答没有其他办法（因此是“不”）。

您是否在问是否有办法更改 gprolog 的顶级行为，以便它对第二个问题回答“是”？

理论上，可以重新实现您自己的 Prolog 编译器并使其在表示“不”时输出“是”，但为什么要这样做呢？除此之外，不，你不能改变它。