Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!genrad!mit-eddi!mit-vax!eagle!harpo!floyd!vax135!ukc!root44!edai!ok
From: ok@edai.UUCP
Newsgroups: net.lang.prolog
Subject: Corrected grammar-rule preprocessor for PDP-11 Prolog
Message-ID: <3155@edai.UUCP>
Date: Thu, 16-Jun-83 14:34:03 EDT
Article-I.D.: edai.3155
Posted: Thu Jun 16 14:34:03 1983
Date-Received: Sat, 18-Jun-83 17:09:02 EDT
Lines: 10

The source code can be found in the net.sources newsitem with
the same title as this one.  The grammar-rule preprocessor in
PDP-11 Prolog contains a bug.  The code in the Clocksin & Mellish
book is based on it, and contains the same bug.  My gconsult also
defines some predicates to enhance compatability with Dec-10
Prolog.  If you are using any Prolog other than Dec-10 or C
Prolog, you will probably find this useful.

	Did the meta-logical utilities arrive?
	Type-checker coming soon!