"Prolog for Programmers"
Feliks Kluźniak & Stanisław Szpakowicz, with a contribution by Janusz S. Bień
Academic Press Inc. (London), 1987, ISBN 0-12-416521-4
First, with many, many, many thanks to Nate Craun,
here is a neat, compact, searchable version of the book, in PDF (3.11MB).
Just click on the happy face:
They were made from the compact file, so the quality is dodgy.
If you want a clean, readable version, sorry,
but you need the originally posted file, 47.28MB in PDF.
Click on the cover image. The file is large (and the server is slow), so try right-click or ctrl-click.
Or grab individual chapters — next page. Not searchable, sorry.