[plt-scheme] Reasoned Schemer support

I am starting to work through the Reasoned Schemer book and have  
loaded its support files (mini-KANREN) at http:// 
kanren.sourceforge.net/ . Is there any problem with compiling this  
under PLT Scheme? Also can the full KANREN be used as it states  
"KANREN has been tested on the following Scheme systems: Petite Chez  
Scheme, Chez Scheme, SCM, Gauche." on the above website? This might  
be a candidate for future language/collection support like EOPL as it  
allows the exploration of logic/declarative programming.

Any advice or information would be appreciated.

Iain
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20051204/56aab72c/attachment.html>