[RuleML-all] RuleML 0.91 Naf Datalog and Integrity

[David Dossot]

Hi all,

I am (slowly) implementing support for RuleML 0.91 Naf Datalog in NxBRE and
came to a question about integrity protection with the new syntax.

How would you write the "inconsistency of a watch being both gold and rusty"
in RuleML 0.91 Naf Datalog?

Thanks for your support,

Best regards,
David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.ruleml.org/pipermail/ruleml-all/attachments/20070110/c7376fba/attachment.htm