[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Prolog in Scheme

Unfortunately, the query system in Structure and Interpretation is
not Prolog.  In particular, it doesn't handle cut.  While this
may not metter much to some (especially those who think cut should
be fluched anyway), it does make the system considerably
less interesting as an implementation of Prolog.