Backward Chaining Goal

Summary

Creates or modifies objects in the object base.

Signature

assert ( class-name variable { slot-name term }*)

Arguments

class-name

The name of a class.

variable

A variable beginning with ? .

slot-name

The name of a slot in the class-name.

term

An expression.

Description

The class-name must be the name of a class of objects known to KnowledgeWorks. Each term is an expression composed of Lisp data structures and KnowledgeWorks variables.

If variable is unbound a new instance of class-name is created with each named slot-name initialized to the value of the corresponding term .

If variable is bound, that bound instance has its named slots modified to contain the values of the term corresponding to each slot-name . 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.

Examples

(assert (truck ?truck driver ?driver))

(assert (possible-trucks ? trucks (?truck . ?trucks))

See also

erase