Merge pull request #2 from greenTara/master

modifications to README
Merge pull request #2 from RuleML/master

README