RuleML/deliberation-ruleml — pull request #42 by greenTara (2014-05-03 21:46:16+00:00)
Title: change names in datalog plus example for a coherent rule base

(employee, supervises, etc.)