ok@edai.UUCP (06/16/83)
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!