MCSmalltalkhubRepository owner: 'goonsh' project: 'Prolog' user: '' password: ''
it worked in pharo 3, it doesn't work in pharo5 and pharo6 On Sat, Jun 17, 2017 at 4:43 PM, Serge Stinckwich < serge.stinckw...@gmail.com> wrote: > Talking about DSL, there was all this work about integrating logic > programming with Smalltalk called > SOUL. But apparently all this died since many years: > http://ss3.gemstone.com/ss/SOUL.html > http://soft.vub.ac.be/SOUL/ > > On Sat, Jun 17, 2017 at 6: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. > > > > > > -- > Serge Stinckwich > UCN & UMI UMMISCO 209 (IRD/UPMC) > Every DSL ends up being Smalltalk > http://www.doesnotunderstand.org/ > > -- Bernardo E.C. Sent from a cheap desktop computer in South America.
