Merge pull request #2 from RuleML/master

pulling from RuleML to greenTara
Merge pull request #21 from greenTara/master

Merge pull request #2 from RuleML/master