Merge pull request #15 from fairlight1337/master

Put two finishing hooks into one progn, as one wouldn't get called on fa...
[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
copy-designator -> exported from cram-designators package
Merge pull request #17 from gheorghelisca/master

copy-designator -> exported from cram-designators package
Merge branch 'master' of github.com:cram-code/cram_core