New Features and Modification in Version 5

• syntax of alt is transformed with keywords :demo, :trace, :wait, :bk-class, :ignore-when, :ignore-unless and :order acceptable in any order. Old syntax is still recognized.

• wait is introduced.

• ignore-unless and ignore-when are introduced.

• @ notation is changed to #@ notation (to avoid conflict with CLASSIC).  

• ^n and ~n notations are introduced

• The incremental cset features are introduced (cset (= a ...) (== b ...) (+ c ...) (- d ...)).

• The punctuation capitalize feature is recognized by the morphology/linearizer module.

• The def-alt, def-conj, def-grammar syntax is introduced with :& and :!.

• Def-test and test are introduced.

• Trace-level is introduced, plus other minor tracing functions.

• %break% feature is introduced.

• Digit (yes, no or roman) under ordinal and cardinal is now recognized by the morphology module.

• ^n~ notation is introduced.

• #{} notation is introduced (to copy paths instead of unify them).

• Functions relocate and insert-fd are defined.