[mercury-users] inference engine implemented in Mercury

Peter Ross pro at missioncriticalit.com
Fri Jul 2 14:31:41 AEST 2010

On Wed, Jun 30, 2010 at 11:08 PM, Jean-Marc Vanel
<jeanmarc.vanel at gmail.com> wrote:
> Hi
> Are there Open Source inference engines implemented in Mercury ?
> Of any kind, First Order logic, SWRL, N3, RuleML, etc ...
I don't know of any open source inference engines.

Implementing a top down SWRL engine only took at most 2 days here at MC.

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list