XML Schema for a Datalog RuleML sublanguage, including negation as failure (NAF) File: nafdatalog.xsd Version: 0.86 Last Modification: 2004-06-24