csrdi@its63b.ed.ac.uk (ECTU68 R Innis CS) (11/03/86)
I got this from Dale Wade <dale@edu.wisc.milw.eecs> in response to my request for info on Prolog II, and thought I'd pass it back to the net IAW Chuck Restivo's <Restivo@edu.stanford.score> request for more detail from me: > >I just read your article on the net and although I work with >a Prolog that uses the Edinburgh syntax, I did just read a catalog >from Addison-Wesley which has a book in it that might meet your needs. > >Here is what the catalog says about the book: > > "Prolog" > by: Francis Giannesini, Henri Kanoui, Robert Pasero > and Michel van Canegham (all of the University of > AIX-Marseilles, France) > > "This book provides a lucid account of the latest > developments in Prolog II devloped by the combined > expertise of the Marseilles Prolog research group. > The main principles of Prolog programming are illustrated > by the gradual refinements of an initial program. > Specific Prolog applications such as compiler writing, > natural language understanding, databases and expert > systems are also fully addressed." > > 304 pp (Paper Back) ISBN: 0-201-14224-4 > > Available: October 1986 > > >If this book is as good as others in their AI series, it may >become the standard book for Prolog-II as Clocksin and Mellish >has been in the past for Edinburgh Prolog. > This is actually the reference I was looking for; thanks a lot, Dale. As to other details about Prolog II, I gather it adds functions to the basic clausal forms in Prolog - a sort of 'second-order Prolog', as it were. More I don't know (yet), but being as I'm in the place where the original Prolog standard was developed, I'll do some sniffing around and see what I can come up with. --Rick