binaryTree
Prolog Source