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/