[mercury-users] inference engine implemented in Mercury

[Peter Ross]

On Fri, Jul 2, 2010 at 7:05 PM, Jean-Marc Vanel
<jeanmarc.vanel at gmail.com> wrote:
> 2010/7/2 Peter Ross <pro at missioncriticalit.com>
>>
>> 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.
>
> I suppose that by that you mean backward chaining engine, which is exactly
> the execution model of Mercury as a Prologuish engine.
> Then I guess that most of the time was taken at implementing the SWRL
> builtins.
> I discovered the page about "Applications using Mercury".

Yes it was a backwards chaining engine.  Implementing the builtins
isn't too difficult.  We have a typeclass which allows us to plugin
multiple builtin implementations.

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
--------------------------------------------------------------------------