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