[MIT-Scheme-devel] logic programming

[Catonano]

I'm reading the chapter about logic programming in the SICP book.

In the mit-scheme environment there's no "rule" defined so I can't type in the examples from the book.

Is there a library I have to load in order to play with those examples ?

Thanks