Creates or modifies objects in the object base.
The name of a class.
A variable beginning with
The name of a slot in the
must be the name of a class of objects known to KnowledgeWorks. Each
is an expression composed of Lisp data structures and KnowledgeWorks variables.
is unbound a new instance of
is created with each named
initialized to the value of the corresponding
is bound, that bound instance has its named slots modified to contain the values of the
corresponding to each
. It is an error if the bound object is not of the named class.
It is an error to put an unbound variable into a slot of an object in the object base.
Only objects in the current inferencing state will be affected.
(assert (truck ?truck driver ?driver))
(assert (possible-trucks ? trucks (?truck . ?trucks))
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011