[mod.ai] PROLOG Books

elder@INFO1.DECNET ("INFO1::ELDER") (02/26/86)

From: "INFO1::ELDER" <elder@info1.decnet>


Could someone recommend a good list of books about Prolog (besides
"Programming in Prolog" by Clocksin) which would be good for someone
to read who is justing learning the language?

Thanks.  

P.S.  If you reply to me, please drop off the '.DECNET' that may appear
in the header of my message.  Our mailer has been acting funny lately.
My address is ELDER@WPAFB-INFO1 and not ELDER@WPAFB-INFO1.DECNET.

Greg Elder


  [Return-Path: addresses are nearly always more reliable
  than From: or Reply-To: addresses.  -- KIL]

elder@INFO1.DECNET ("INFO1::ELDER") (02/26/86)

From: Elder@WPAFB-INFO1


Could someone recommend a good list of books about Prolog (besides
"Programming in Prolog" by Clocksin) which would be good for someone
to read who is justing learning the language?

Thanks.  

P.S.  If you reply to me, please drop off the '.DECNET' that may appear
in the header of my message.  Our mailer has been acting funny lately.
My address is ELDER@WPAFB-INFO1 and not ELDER@WPAFB-INFO1.DECNET.

Greg Elder


  [Return-Path: addresses are nearly always more reliable
  than From: or Reply-To: addresses.  -- KIL]

kevin@LOGIC.DEC (Kevin LaRue -- You can hack anything you want with TECO) (02/28/86)

From: kevin%logic.DEC@decwrl.DEC.COM  (Kevin LaRue)

``Introduction to Logic Programming''
Christopher John Hogger
Academic Press, Inc.
1984
ISBN 0-12-352092-4

cburdor@POLYSLO.UUCP (Christopher Burdorf) (03/03/86)

 I would reccommend Logic for Problem Solving, by Robert Kowolski.

logicwa@UTCSRI.UUCP (Logicware) (03/16/86)

Greg:
In reply to you question about introductory books on Prolog:
You might be interested in a combination textbook/tutorial
that myself and two colleagues have put together.  The
name of the package is:
    The MPROLOG Primer
and consists of a 500 page textbook (18 chapters) titled
"A Primer for Logic Programming".  It is a fairly
comprehensive introduction to Prolog, MPROLOG and
logic programming.
The tutorial software which accompanies the book has 9
different tutorials on typical Prolog subjects (recursion,
backtracking and so forth). In addition, the software has
a "freeform" area where you  can enter and test
programs.

gcj%qmc-ori.uucp@CS.UCL.AC.UK (03/20/86)

``Start Problem Solving with PROLOG" by Tom Conlon.
Published in 1985 by Addison-Wesley, Wokingham, U.K.
ISBN 0-201-18270-X.
This book uses micro-PROLOG (available for Sinclair
Spectrum/(Timex 2000?) and IBM PC, for example). It 
includes many examples and complete programs, one,
for example, for playing Tic-Tac-Toe.

Gordon Joly
ARPA: gcj%qmc-ori@ucl-cs.arpa
UUCP: ...!ukc!qmc-cs!qmc-ori!gcj