RuleML/deliberation-ruleml — pull request #64 by greenTara (2014-05-21 21:28:43+00:00)
Title: update datalogplus_min example with better comments, explicit checks for...

... consistency and Retracts