this is cool
On Sat, Jun 17, 2017 at 7:11 PM, Evan Donahue <emdon...@gmail.com> wrote: > 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. >
