Merge pull request #14 from greenTara/master

update
Merge pull request #15 from greenTara/master

update README
Merge pull request #5 from RuleML/master

merge