因此，练习表明root(T,X)是正确的，如果X是T的根上的数字。例如：bt(2,void,void)的根是2。
我的代码：
btree(bt(_,L,R)):- number(L), number(R).
bt(2,void,void).
root(T,X):- btree(T), bt(X,l,r).
第一行我确定btree是什么（确保树中有数字，使其成为二叉树），第二行定义普通bt，然后在根中我说T是btree， X是bt的根。
当我问root(2,bt(2,void,void))时说错了。为什么说它是假的？我的根本定义有误吗？
请注意，我是新手...