• Links - Smalltalk and SOUL

A strong candidate for a Smalltalk RDF/OWL inference engine is the Smalltalk Open Unification Language (SOUL).

The blurb says it is a declarative meta programming language similar to Prolog and it is in a way ( it's been done before ), but their technical documentation for LiCoR shows a very smooth blend of a unification engine into the Smalltalk environment. There have been several fairly rigorous implementations of Prolog and Horn Clause Logic in Smalltalk over the years, but this is much better integrated than any I've seen, if perhaps lacking in Prologian purity.

The good news is that is SOUL is open source, but it only works with VisualWorks which is not open source. Supposedly there is a recent version of SOUL that works with open source Squeak, but I haven't found it on the web or in the SqueakMap repository. So ...

A link to SOUL creator Roel Wuyts, apparently at the Vrije Universiteit Brussel. He is also creator of RoelTyper, first-prize winner of the 2005 ESUG Awards and of which there is a Squeak version.

A link to a short article about SOUL at the Hungarian Smalltalk Users Group( HSUG ).