The Practice of Prolog - Sterling, Leon. (Massachusetts Institute of Technology, 1990)