Creates a new instance.
- (variable class)
- A variable to be bound to the new instance, and the class of the new instance.
- Clauses to be asserted about the new instance. If a
(:NAME ...) clause
is included, the new instance will be created with the name given in that clause.
(:ADD-INSTANCE (?t1 Trucks) (:NAME ?t1 "F-150"))
(:ADD-INSTANCE (?mycat Cats) (:NAME ?mycat "Shadow") (enemyOf ?mycat Rover))
Succeeds if the instance is successfully created.
Fails if the instance can not be created.
The class of the new instance must already exist.
Algernon Documentation Central
Algernon home page