New API and a few features

• Querying now returns an array of all variable solutions. You also now query outside the instance_eval. See this test for a good example.
• Added a new not_ predicate, corresponding to Prolog's \+
• Added .to_prolog in case you want to copy/paste your RubyProlog definitions into another Prolog environment.