user5509 2016-02-28 07:54 采纳率: 0%
浏览 2435

关于二叉树的prolog问题

前几天才开始学prolog的东西,遇到的一个关于二叉树的prolog问题就不会写了,想请教一下大家。
譬如说这里有一个二叉树,facts我就不一一列举了,主要有两种
一个是 leftchild(X,Y) 另一个是 right(X,Y)
下面有几个rule
第一个rule我就懵了。
第一个rule是justabove(X,Y)。
我想的是,X justabove Y 如果 Y is leftchild X 或者 Y is leftchild X。
所以我就这样写:
justabove(X,Y) :- leftchild(Y,X) ; rightchild(Y,X).
我查的说分号代表或者,我原以为只要facts满足其中之一就会返回true。
但事实是尽管第一条满足了,它依旧会继续问你true?使用”;“继续搜索,第二条目标不满足就return no了。

这下我就不知道该怎么办了。。。有什么办法可以无论既不继续搜索,答案始终和事实相符???

。。。。能看的懂吗?我表述好像不是很清楚。。。

  • 写回答

1条回答 默认 最新

报告相同问题?

悬赏问题

  • ¥15 C++使用Gunplot
  • ¥15 这个电路是如何实现路灯控制器的,原理是什么,怎么求解灯亮起后熄灭的时间如图?
  • ¥15 matlab数字图像处理频率域滤波
  • ¥15 在abaqus做了二维正交切削模型,给刀具添加了超声振动条件后输出切削力为什么比普通切削增大这么多
  • ¥15 ELGamal和paillier计算效率谁快?
  • ¥15 file converter 转换格式失败 报错 Error marking filters as finished,如何解决?
  • ¥15 Arcgis相交分析无法绘制一个或多个图形
  • ¥15 关于#r语言#的问题:差异分析前数据准备,报错Error in data[, sampleName1] : subscript out of bounds请问怎么解决呀以下是全部代码:
  • ¥15 seatunnel-web使用SQL组件时候后台报错,无法找到表格
  • ¥15 fpga自动售货机数码管(相关搜索:数字时钟)