correcting typos in datalogplus_min.ruleml
Merge pull request #66 from greenTara/1.01-dev

correcting typos in datalogplus_min.ruleml