[RuleML-all] RuleML 0.91 Naf Datalog and Integrity

Sat Mar 29 21:20:32 AST 2008

This:

> <head> has different content in <Implies> and in <Entails>...
> These context-sensitive role names would go away in RuleML 0.92,
> where we plan to change Implies' <body> to <if> and <head> to <then>,
> so that we could keep, context-freely, Entails' <body> and <head>.

and that:

>    Entails: ( oid?, (body | Rulebase), (head | Rulebase | Query) )
>    body-in-entails: (Rulebase)
>    head-in-entails: (Rulebase | Query)

would be two compelling reasons for me to skip the implementation of
0.91 and go straight for 0.92. Indeed, not only I will find it
possible to map my current implementation of integrity queries (as it
came from 0.9), but also the addition of if/then would help my end
users a lot crafting their own rule bases.

+1 then!
David