Defines a new CLOS class as defclass
does. However, if none of the given superclasses is a subclass of named-kb-object
, then named-kb-object
is added to the list of superclasses. The class inherits a name slot kb-name
of which the initialization form (:initform
) generates a symbol from the class name using (gentemp
class-name)
.
(def-named-kb-class vehicle ()
((driver :initarg :driver)))
(def-named-kb-class truck (vehicle)
((load :accessor truck-load)))
KnowledgeWorks and Prolog User Guide (Macintosh version) - 24 Mar 2017