On Sat, Jun 17, 2017 at 6:11 PM, Evan Donahue <emdonahu@gmail.com> wrote:
Hi, just saw this.
Hi Evan,
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.
This looks very promising. At the moment, I just want to reuse an existing Prolog program to generate some scenarios, but I will definitively have a look to your work later. Do you plan to move your code to github ? Regards, -- Serge Stinckwich UCN & UMI UMMISCO 209 (IRD/UPMC) Every DSL ends up being Smalltalk http://www.doesnotunderstand.org/