[mercury-users] inference engine implemented in Mercury

[Peter Ross]

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.

Regards,
Peter
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------