Merge pull request #2 from RuleML/master

README
Merge pull request #3 from greenTara/master

README