Changes from Algernon v1.3.3 to v2.0

  1. The rule activation and execution model has been formulated more precisely.
  2. The user can exercise more control over reasoning, via the following variables:
  3. A new metering package has been added that counts the number of facts stored, rules fired, etc.
  4. Several obsolete commands are no longer supported:
        :LISP                     use :EVAL instead.
        :CREATE                   use :A instead.
        :IN-OWN-PARTITION         obsolete.
        :DEL-RULE,  :DEL-RULES    obsolete.
        :DEL-SRULE, :DEL-SRULES   obsolete.
    
  5. :BACKLINK and :INVERSE are now obsolete slot modifiers.

  6. Fixed bug in the :NO-COMPLETION special form. It now accepts the form (:NO-COMPLETION . path) as previously documented.

[Algernon home]

This page was created by

Micheal Hewett