[net.lang.prolog] Prolog/Logic Programming texts?

pwh@gitpyr.UUCP (Phil Hutto) (03/06/85)

It seems that Prolog's connection with AI has precipitated the same avalanche
of publications that poor ai researchers have had to contend with for the last
several years. Could someone who reads faster than the publication rate give
me their ratings of the available materials? 
 
Without finding the exact references, I am aware of the following materials:

BOOKS-

Programming in Prolog - Clocksin & Mellish 
Logic for Problem Solving - Kowalski
Micro-PROLOG: Programming in Logic - Clark & McCabe
Logic Programming - Clark & Tarnlund (actually a hard-bound proceedings)
Introduction to Logic Programming - Hogger
Prolog for Programmers - Kluzniak & Szpakowicz
something by Springer-Verlag

PROCEEDINGS-

1984 International Symposium on Logic Programming

JOURNALS-

The Journal of Logic Programming - North-Holland


If people would like to send other refs they are aware of i'll compile and
post a bibliography.


-- 
Phil Hutto
Georgia Insitute of Technology, Atlanta Georgia, 30332
...!{akgua,allegra,amd,hplabs,ihnp4,seismo,ut-ngp}!gatech!gitpyr!pwh