{->create_}functor_for, comments for arithmetics
comments. Added count to simple_procedure
added product_of
removed simple_procedure
changed rspec integration - no implicit examples
fixed revoked
polishing inriasuite
catching :cut in variable#prove
fixed context predicates capturing variables
added predicate_for_context
catching cuts in .false
fixed a bug in string unification, removed rubylog_variables_hash
not substituting nil in blocks, updated file_in
changed order of variable assignment with .is
updated specs
Merge branch 'api-cleanup' into develop
added tracing spec, changed trace! to trace
changed variable#value
globally changed order of var-var unification
changed array unify algorithm, polished array_splat