Smalltalk › Frameworks & Tools › SciSmalltalk

Re: Digest for scismalltalk@googlegroups.com - 1 update in 1 topic

_‹ Previous Topic Next Topic _›

Classic

List

Threaded

1 message

Evan Donahue

Re: Digest for scismalltalk@googlegroups.com - 1 update in 1 topic

There is a port of the Minikanren logic programming language into Pharo:

http://smalltalkhub.com/#!/~EvanDonahue/SmallKanren

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.

Cheers,

Evan

On Wed, Apr 19, 2017 at 5:10 AM, <[hidden email]> wrote:

scismalltalk@... Google Groups

Topic digest
View all topics

Semantic networks and Minsky frames tools & frameworks in Pharo - 1 Update

Semantic networks and Minsky frames tools & frameworks in Pharo

Dmitry Ponyatov <[hidden email]>: Apr 17 02:47PM -0700

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.

Back to top

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.