Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!rutgers!sri-spam!nike!lll-crg!seismo!mcvax!ukc!its63b!csrdi
From: csrdi@its63b.ed.ac.uk (ECTU68 R Innis CS)
Newsgroups: net.lang.prolog
Subject: More on Prolog II
Message-ID: <114@its63b.ed.ac.uk>
Date: Mon, 3-Nov-86 08:01:45 EST
Article-I.D.: its63b.114
Posted: Mon Nov  3 08:01:45 1986
Date-Received: Wed, 5-Nov-86 06:20:49 EST
Reply-To: csrdi@itspna.ed.ac.uk (ECTU68 R Innis CS)
Distribution: net
Organization: I.T. School, Univ. of Edinburgh, U.K.
Lines: 44

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