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