PS 5a

Tomas Lozano-Perez (
Tue, 3 Mar 1998 17:21:33 -0500 (EST)

Two things:

1. We are having troubles with the Scheme-to-C compiler and so have
been unable to produce a working ps5-sci. So, just use sci and do
(load "").

2. The (parse) function only prints something when it finds a legal
parse using the very small grammar defined in grammar.scm. If you
want to see the operation of the backward chainer, replace the line:
(set! *verbose?* #f) in the definition of parse with (set! *verbose?*
#t). Then you will see the rule firing attempts.