Either finds exactly one instance with the given properties, or else
creates one with those properties.
- (variable class)
- A variable to be bound to the found or new instance and the class of that 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.
(:THE-INSTANCE (?t1 Trucks) (:NAME ?t1 "F-150"))
(:THE-INSTANCE (?mycat Cats) (:NAME ?mycat "Shadow") (enemyOf ?mycat Rover))
Succeeds if exactly one instance is found or successfully created.
Fails if an instance can not be found or created.
The class of the new instance must already exist.
If an instance with the stated properties can not be found,
this command is equivalent to :ADD-INSTANCE.
Algernon Documentation Central
Algernon home page