




 
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 (Windows version) - 6 Dec 2011