:LISP use :EVAL instead. :CREATE use :A instead. :IN-OWN-PARTITION obsolete. :DEL-RULE, :DEL-RULES obsolete. :DEL-SRULE, :DEL-SRULES obsolete.
OLD: (:slot imp-superset (sets sets) :backlink subset) NEW: (:slot imp-superset (sets sets)) (:srule (:slot imp-superset) ((imp-superset ?s1 ?s2) -> (subset ?s2 ?s1)))
OLD: (:slot superset (sets sets) :inverse subset) NEW: (:slot superset (sets sets)) (inverse superset subset) ;;; <--- add this
This page was created by
Micheal Hewett