The Practice of Prolog - Sterling, Leon. (MIT Press, 1990)