Binary trees

It is also here if you need it.

Useful Prolog references

See: “The Art of Prolog” By Leon S. Sterlingand and Ehud Y. Shapiro (site ) (pdf )