2 qq 22144385 qq_22144385 于 2016.02.28 15:54 提问

关于二叉树的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个回答

devmiao
devmiao   Ds   Rxr 2016.03.08 13:03
Csdn user default icon
上传中...
上传图片
插入图片
准确详细的回答,更有利于被提问者采纳,从而获得C币。复制、灌水、广告等回答会被删除,是时候展现真正的技术了!