Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!utcsri.UUCP!logicwa
From: logicwa@UTCSRI.UUCP (Logicware)
Newsgroups: mod.ai
Subject: Re: Prolog Books
Message-ID: <8603162037.AA14303@ittatc.UUCP>
Date: Sat, 15-Mar-86 23:27:33 EST
Article-I.D.: ittatc.8603162037.AA14303
Posted: Sat Mar 15 23:27:33 1986
Date-Received: Tue, 18-Mar-86 01:49:24 EST
References: <8602271707.AA09447@ucbvax.berkeley.edu>
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 15
Approved: ailist@sri-ai.arpa

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.