This command is currently not working.


Finds or Creates a new instance.


(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.


  (:FORC-INSTANCE (?t1 Trucks) (:NAME ?t1 "F-150"))
  (:FORC-INSTANCE (?mycat Cats)  (:NAME ?mycat "Shadow") (enemyOf ?mycat Rover))

Success criteria

Succeeds if the instance is found or successfully created.

Failure criteria

Fails if the 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.

Related commands

Back to...

Algernon commands
Algernon Documentation Central
Algernon home page