Hello,

Maybe not quite what you're looking for, but I know of two experiments with logic/relational programming in Pharo:

- SmallKanren: http://smalltalkhub.com/#!/~EvanDonahue/SmallKanren/
- MicroKanren: http://smalltalkhub.com/#!/~adolfopa/MicroKanren/

Both are inspired/based on minikanren (http://minikanren.org/), which is an embedded DSL for logic programming with implementations in multiple languages. Both implementations above are incomplete, but of the two, I'd say SmallKanren is the most complete and most promising. Development seems a bit inactive, however.

Minikanren in general seems to be more of an academic project than one with real-world application, which is a big downside.

Best,

Skip

2017-06-17 11:24 GMT+02:00 Serge Stinckwich <serge.stinckwich@gmail.com>:
Dear all,

I'm looking for a simple Prolog engine available in Pharo compatible
with SWI-Prolog and with list support. Anything like that available ?

Regards,
--
Serge Stinckwich
UCN & UMI UMMISCO 209 (IRD/UPMC)
Every DSL ends up being Smalltalk
http://www.doesnotunderstand.org/