<div class="gmail_quote">2010/7/2 Peter Ross <span dir="ltr"><<a href="mailto:pro@missioncriticalit.com">pro@missioncriticalit.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On Wed, Jun 30, 2010 at 11:08 PM, Jean-Marc Vanel<br>
<<a href="mailto:jeanmarc.vanel@gmail.com">jeanmarc.vanel@gmail.com</a>> wrote:<br>
> Hi<br>
><br>
> Are there Open Source inference engines implemented in Mercury ?<br>
> Of any kind, First Order logic, SWRL, N3, RuleML, etc ...<br>
><br>
</div>I don't know of any open source inference engines.<br>
<br>
Implementing a top down SWRL engine only took at most 2 days here at MC.<br></blockquote><div><br></div><div>I suppose that by that you mean backward chaining engine, which is exactly the execution model of Mercury as a Prologuish engine.</div>
<div>Then I guess that most of the time was taken at implementing the SWRL builtins.</div><div><br></div><div>I discovered the page about "Applications using Mercury".</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
Regards,<br>
Peter<br>
--------------------------------------------------------------------------<br>
mercury-users mailing list<br>
Post messages to: <a href="mailto:mercury-users@csse.unimelb.edu.au">mercury-users@csse.unimelb.edu.au</a><br>
Administrative Queries: <a href="mailto:owner-mercury-users@csse.unimelb.edu.au">owner-mercury-users@csse.unimelb.edu.au</a><br>
Subscriptions: <a href="mailto:mercury-users-request@csse.unimelb.edu.au">mercury-users-request@csse.unimelb.edu.au</a><br>
--------------------------------------------------------------------------<br>
</blockquote></div><br><br clear="all"><br>-- <br>Jean-Marc Vanel<br>Consulting, services, training,<br>Rule-based programming, Semantic Web<br><a href="http://jmvanel.free.fr/">http://jmvanel.free.fr/</a><br>EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java bytecode<br>
+33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16<br>( we rarely listen to voice messages, please send a mail instead )<br>