Minikanren has been the basis for a lot of recent logic programming work in Clojure, and it has unification and nondeterministic choice so building a prolog style inference system would not be hard. If you might be interested, let me know and I can say more.
What tools, libs and frameworks can I use in semantic networks and frames
implementation and research in Pharo (win32) ?
I need graph visualisation (graphviz can be good, but animated morphs
preferred), Prolog-like inference engine (yield prolog variant for
Smalltalk maybe: http://yieldprolog.sourceforge.net/), OWL/RDF
import/export, what else ?
And some attribute grammar parser & transformation tools -- I'm primarily
interested in frame applications in program analysis and transformation.
You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page.
To unsubscribe from this group and stop receiving emails from it send an email to [hidden email].
You received this message because you are subscribed to the Google Groups "SciSmalltalk" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.