Merge pull request #4 from RuleML/master

update
Merge pull request #14 from greenTara/master

update