Merge pull request #13 from greenTara/master

update README
Merge pull request #4 from RuleML/master

update