[reasoning] added a MAX predicate + some missing symbol exports.
Merge pull request #18 from fairlight1337/master

Hooks for beliefstate logging + new feature for WITH-FAILURE-HANDLING.
[language] improved version of WITH-FAILURE-HANDLING
Merge pull request #20 from gaya-/reasoning_stuff_branch

MAX Prolog predicate
Refined hooks for with-policy
Merge
[reasoning] improved predicate LISP-FUN:

it now accepts Prolog variables for argument FUNCTION
Merge pull request #22 from gaya-/master

[reasoning] improved predicate LISP-FUN
[desigs] optional format statement for validation functions
Moved the macro HANGS into CRAM_LANGUAGE_TESTS

The macro is quite specific for cram_language, namely,
the constants and the logging mechanism.
Merge branch 'master' of https://github.com/cram-code/cram_core
Merge pull request #24 from gaya-/master

Moved the HANGS macro around and a minor format statement.
0.1.2
Merge branch 'master' of github.com:cram-code/cram_core
Fixed logging mechanism for with-policy related code
Additional failure handling logging features