0.1.6 (forthcoming)

0.1.5 (2011-10-14)

• designators:

  • Complete refactoring of location designators

  • Changed the way how designator properties are declared (new macro DEF-DESIG-PACKAGE)

• cram_language: Fixed type declarations and result values on evaporation

• Fixes to work with sbcl 1.0.50

• process_modules: Fixed race-condition

0.1.4 (2011-05-17)

• designators:

  • Added DESIGNATOR-PROPERTY declaration

  • Added functions to get all solutions as a lazy-list

  • New method DESIGNATOR-POSE

  • New method and interface RESOLVE-DESIGNATOR to select different roles under which a designator should be resolved

• cram_reasoning:

  • Added SETOF predicate

  • Added support for lazy-lists in prolog solutions
  • Added CUT operator

• cram_language: Fixed fluent-net wrappers to have the same signature as the CL equivalents

• cram_utilities: Added some more utility functions

0.1.3 (2011-03-04)

• cram_utilities:

  • Added LAZY-TAKE function

  • Fixed LAZY-APPEND function to handle NIL parameters correctly

• cram_reasoning:

  • Prolog facts can be used as fallback solutions for prolog-handlers

  • Added TAKE predicate

  • Added support for lazy-lists in MEMBER predicate

• designators: API change. Renamed REGISTER-DESIGNATOR-TYPE to REGISTER-DESIGNATOR-CLASS

• cram_language:

  • Fixed type declarations

  • Wrapped and shadowed SLEEP because sleep does not respect deadlines

0.1.2

• cram_language:

  • Switched to a new implementation based on message passing
  • Makefiles 3rd party packages download tarballs now instead of checking out repositories

• cram_reasoning:

  • Warn and (prolog-)fail on lisp errors in LISP-PRED and LISP-FUN instead of entering the debugger

  • Added if-then-else operator and TRUE predicate

0.1.1

• 3rd party makefiles create relative links for asdf files now.

0.1.0 (Initial release)