[net.ai] prolog reference

lah@uofm-cv.UUCP (Jeh Lah) (01/13/84)

Could anybody give some references to good introductory book
on prolog?

bts@unc.UUCP (Bruce Smith) (01/15/84)

There's only one introductory book I know of, that's Clocksin
and Mellish's "Programming in Prolog", Springer-Verlag, 1981.
It's a silver paperback, probably still under $20.00.

For more information on the language, try Clark and Tarnlund's
"Logic Programming", Academic Press, 1982.  It's a white hard-
back, with an elephant on the cover.  The papers by Bruynooghe
and by Mellish tell a lot about Prolog inplementation.
_____________________________________
Bruce Smith, UNC-Chapel Hill
decvax!duke!unc!bts     (USENET)
bts.unc@CSnet-Relay (lesser NETworks)

rl@ucsfcgl.UUCP (01/16/84)

<-
A good reference is:

Programming in Prolog
W.F. Clocksin and C.S. Mellish
Springer-Verlag  1983

Bob Langridge [...ucbvax!ucsfcgl!rl or langridge@sumex.arpa]
Computer Graphics Lab
University of California
San Francisco
CA  94143

rggoebel@watdaisy.UUCP (Randy Goebel) (02/05/84)

I've sent this reference to another, but decided that perhaps everyone
would be interested in

	K.L. Clark and F.G. McCabe (1984) Micro-Prolog: Programming in
		Prolog, Prentice-Hall, Englewood Cliffs, N.J.

This is a collection of articles on logic programming techniques, and is,
an alternative to Clocksin and Mellish.

Randy Goebel
Logic Programming Group
University of Waterloo
Waterloo, Ontario, CANADA N2L 3G1
UUCP: allegra!watmath!watdaisy!rggoebel
ARPA: allegra!watmath!watdaisy!rggoebel@BERKELEY