Merge pull request #2 from RuleML/master

pulling from RuleML to greenTara