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.stinckwich@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 <emdonahu@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.