The following is a list of PROLOG-RELATED books that I have run accross
which may be of interest:

Clocksin & Mellish, Programming in Prolog,  Springer-Verlag
This book is to Prolog what Wirth's User Manual and Report is to Pascal.
It is a bit difficult and more concerned with describing the language
than applications.

Burnham & Hall, Prolog Programming and Applications, Halstead Press
A better introduction to the language than C&M.  Lots of examples.
I recommend it if you still need help after working through Borland's
tutorial.

Conlon, Learning Micro-Prolog, Addison-Wesley
Good examples but the difference between Micro-Prolog and "standard"
get in the way.  There are several other Micro-Prolog books but stay
away from them;  the differences in notation will do nothing but
confuse you.

Li, A PROLOG Database System, Research Studies Press
Li's dissertation on building a DBMS.  Heavy but worth it if you
do want to build a big relational DBMS in Prolog.

Wos, et.al., Automated Reasoning, Prentice Hall
This is not a Prolog book;  Wos has his own language but it works a lot like
prolog and relys as heavily on Horn clauses.  Good introduction with plenty of
excellent examples to the whole field of predicate calculus.

Please feel free to add to this list or offer any comments on the above
books.
               Bob Wooster, CIS 72415,1602