Merge pull request #1 from RuleML/master

changed schema associations for verification
adding /tmp to gitignore

Signed-off-by: greenTara <taraathan@gmail.com>
fix Issue #31 - Rule in Assert Retract and Forall

Signed-off-by: greenTara <taraathan@gmail.com>
Merge pull request #30 from greenTara/master

gitignore