Either finds exactly one class with the given properties, or else
creates one with those properties.
- (variable superclass)
- A variable to be bound to the found or new class and the superclass of that class.
- Clauses to be asserted about the new class. If a
(:NAME ...) clause
is included, the new class will be created with the name given in that clause.
(:THE-CLASS (?t1 Vehicles) (:NAME ?t1 "Trucks"))
(:THE-CLASS (?new Animals) (:NAME ?new "Cats") (enemyOf ?new Dogs))
Succeeds if exactly one class is found or successfully created.
Fails if a class can not be found or created.
The superclass of the new class must already exist.
If a class with the stated properties can not be found,
this command is equivalent to :ADD-CLASS.
Algernon Documentation Central
Algernon home page