[cram_reasoning] Makes Prolog unify EQUAL strings.
Merge branch 'master' of https://github.com/cram-code/cram_core
Merge pull request #16 from gaya-/master

Small fix for CRAM Prolog