相关疑难解决方法(0)

什么是Herbrand宇宙,Herbrand Base和Herbrand二叉树模型:

binary_tree(empty). 
binary_tree(tree(Left,Element,Right)) :- 
     binary_tree(Left), 
     binary_tree(Right).