Programming in Prolog - Clocksin, William F. 1955-; Mellish, Christopher S. (Springer, 1987)