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.