Thank you for the links.

Hern��n


2015-01-31 17:27 GMT-03:00 stepharo <stepharo@free.fr>:

I would be curious to hear more about the various projects mentioned in this
thread.
SOUL was a prolog with an extra term that unified method AST.
�� �� Check Roel Wuyts, Andy Kellens, Johan Brichau
At the VUB in the Soft (prog lab) previously the group was doing logic meta programming.
�� �� Kris Gybels from the same group was working on Rete or may be this is Koen deRover.

NeoPus was (not working anymore) a rule-based system that could use object for fact and change.
I have the doc around if you want.

Herve Verjus
�� �� http://smalltalkhub.com/#!/~HerveVerjus/SmallAI
is a little project to support backward and forward chainer.


�� I am working on a constraint logic system that has been used as a
backend for a variety of inference systems in other languages.
Can you explain a bit more?

��
Thanks,
Evan



--
View this message in context: http://forum.world.st/Rule-engine-tp4801671p4802961.html
Sent from the Pharo Smalltalk Users mailing list archive at Nabble.com.