Tree datastructure library for SWI-Prolog.