Hi, just saw this. Smallkanren is complete and under very active development, I just haven't put a new version up in a while because I didn't think that anyone was using it. I'm currently cleaning up a new release and was planning to upload that in the next few days. It should have full support for all the core functions and a better interface, in addition to being much faster.
As far as the matter of real world vs academic exercise, I think I might say rather that it has not *yet* been as thoroughly developed and proven as prolog. It is, after all, a much newer language by almost a half century. However, it forms the basis of clojure's core.logic library, and has been seeing an increasing amount of deployment in real world projects in that area (configuration, parsing, test generation sorts of things I think). I'd like to enable the same in Pharo. If anyone is interested to know more, feel free to get in touch. Cheers, Evan -- View this message in context: http://forum.world.st/Prolog-in-Pharo-tp4951719p4951737.html Sent from the Pharo Smalltalk Users mailing list archive at Nabble.com.