Manipulating and writing Prolog terms

Neng-Fa Zhou 2013-01-25