数学中的序言-在序言中搜索节点的级别

Question

假设这里是一个二叉搜索树，并且给出了规则above(X,Y) X在Y正上方。 我还创建了规则root(X) X没有父项。

然后，我试图弄清楚这棵树中节点的深度。 假设树的根节点是“ r”，所以我得到了事实level(r,0) 。 为了实现规则level(N,D) :- ，我在想的是应该在这里进行递归。 因此，我尝试

level(N,D): \+ root(N), above(X,N), D is D+1, level(X,D). 

因此，如果N不是根，则节点X在N之上，级别D加1，然后递归。 但是，当我对此进行测试时，它仅适用于根本条件。 当我创建更多事实时，例如节点“ s”是节点“ r”的左子节点，我的查询是级别（s，D）。 它返回我“否”。 我跟踪查询，它显示了我

  1    1  Call: level(s,_16) ? 
  1    1  Fail: level(s,_16) ?

我只是感到困惑，为什么我在致电level(s,D)时失败了？

Answer 1

您的查询存在一些问题：

• 在Prolog中，您不能写D is D+1等于D is D+1类的东西，因为只能给一个变量赋一个值。
• 在您呼叫D is D+1的那一刻， D尚未实例化，因此可能会导致错误； 和
• 您永远不会声明（至少不在可见代码中）根的level/2为0 。

一个解决方案是首先声明任何根的级别为0 ：

level(N,0) :-
    root(N).

现在我们必须定义归纳情况：首先，我们确实使用above/2谓词寻找父代。 从严格意义上讲，没有必要执行N是否不是root/1的检查，因为这将与存在above/2的事实发生冲突。 接下来，我们确定该父级LP的级别，最后通过声明L is LP+1来计算节点的级别，其中L为N的级别，而LP为op P的级别：

level(N,L) :-
    above(P,N),
    level(P,LP),
    L is LP+1.

或放在一起：

level(N,0) :-
    root(N).
level(N,L) :-
    above(P,N),
    level(P,LP),
    L is LP+1.

由于您没有提供示例树，因此我无法测试该谓词的行为是否符合您的预期。

---

关于root/1

请注意，通过写入root/1 ，您将引入数据重复：您可以简单地编写：

root(R) :-
    \+ above(_,R).