## page was renamed from cram_pl/ChangeList <> = 0.1.9 (forthcoming) = = 0.1.8 (2012-09-24) = * [[cram_designators]]: * added function `COPY-DESIGNATOR` * renamed slot `valid` to `effective`. * added function `MAKE-EFFECTIVE-DESIGNATOR` * improved handling of default roles * location designator validation functions must return `:ACCEPT`, `:MAYBE-REJECT`, `:UNKNOWN` or `:REJECT` now. * [[cram_language]]: * The `:name` initarg is not mandatory for fluents anymore. * Added `TRY-EACH-IN-ORDER`. * Fixed packaging issues. * Fixed handling of pulses in fluent networks. * Deprecated `DEF-PLAN` and `DEF-TOP-LEVEL-PLAN` in favor of `DEF-CRAM-FUNCTION` and `DEF-TOP-LEVEL-CRAM-FUNCTION`. * [[cram_process_modules]]: * Cleanups: removed unused functionality and parameters. * Implemented asynchronous process modules * Fixed a race condition in PM-EXECUTE. = 0.1.7 (2012-07-18 = * Pull lisp_unit from a file server, not from git. = 0.1.6 (2012-07-18) = * Many clean-ups. * Added hooks for failures and process modules. * Added CUT to [[cram_reasoning]]'s prolog engine. * Added lisp-unit testing framework. * Added many tests. * Got rid of dependencies on 5am. * Renamed `process_modules` and `designators` to `cram_process_modules` and `cram_designators`. * Deleted `liswip`. * Refactored process modules to be able to run different process modules in parallel. * Added `cram_projection`. * Proper handling of suspension in process modules. = 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) =