前几天才开始学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了。
这下我就不知道该怎么办了。。。有什么办法可以无论既不继续搜索,答案始终和事实相符???
。。。。能看的懂吗?我表述好像不是很清楚。。。