[mercury-users] inference engine implemented in Mercury

[Jean-Marc Vanel]

Hi

Are there Open Source inference engines implemented in Mercury ?
Of any kind, First Order logic, SWRL, N3, RuleML, etc ...

-- 
Jean-Marc Vanel
Consulting, services, training,
Rule-based programming, Semantic Web
http://jmvanel.free.fr/
EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java
bytecode
+33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16
( we rarely listen to voice messages, please send a mail instead )
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20100630/4fab45ae/attachment.html>