[RuleML-all] NxBRE v2.5 with RuleML 0.9 support

[David Dossot]

Dear all,

I am pleased to inform you that I have just released v2.5 of NxBRE, 
which offers a limited but significant (!) support of RuleML 0.9 Naf 
Datalog sub-language.

Cheers,
David


David Z. Hirtle wrote:

>RuleML 0.9 has been officially released, featuring the introduction
>of toplevel element <RuleML> and the addition of a hornlog with
>negation-as-failure (nafhornlog) sublanguage. For more information,
>refer to the full specification:
>
>http://www.ruleml.org/spec
>
>(which currently points to RuleML 0.9, and always to the most
>recent version)
>
>Accompanying this release is a complete glossary describing
>every element and attribute of RuleML:
>http://www.ruleml.org/glossary
>
>Also note that the official model has been updated, and now
>includes a toplevel view of the RuleML family of sublanguages:
>http://www.ruleml.org/modularization/#Model
>
>Feedback is appreciated as always.
>
>David
>_______________________________________________
>RuleML-all mailing list
>RuleML-all at ruleml.org
>http://mail.ruleml.org/mailman/listinfo/ruleml-all
>
>
>
>  
>


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/x-pkcs7-signature
Size: 3166 bytes
Desc: S/MIME Cryptographic Signature
Url : http://mail.ruleml.org/pipermail/ruleml-all/attachments/20060208/18f8b9aa/smime.bin