Structuring data via behavioural synthesis

I am one of the those who have been (and some still are, I guess) waiting for Geoff Wozniak to post a link to his thesis, Structuring data via behavioural synthesis, on his blog Exploring Lisp. To my surprise, it turns out that someone at the University of Western Ontario has published it already, only "bad" thing with that is of course that now I want to see the code even more.

Common Lisp Reasoner

I just found the SourceForge project Common Lisp Reasoner. It's a CLOS extension for AI applications like scheduling and diagnosis. I haven't had time to check it out, but it looks interesting. I wonder if it plays nicely with other CLOS extensions, like the production system Lisa for example.