🚀 go-pugleaf

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