Programming in Prolog [2nd ed.] - Clocksin, W. F.; Mellish, C. S. (Berlin Springer-Verlag, 1984)
Keywords: Prolog (Computer Program Language)