Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog.
Springer-verlag Berlin And Heidelberg Gmbh & Co. K Programming in prolog. using the iso standard, paperback/william f. (university of cambridge) clocksin