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!