Class CYCLE-UNTIL

A cyclical plan which iterates until a certain condition becomes true. It can be repeated after a certain repetition interval.
Subclass-Of: Cyclical-plan

Slots Of Instances:

Repetition-Interval:
Slot-Value-Type: Number
Axioms:
(=> (Cycle-Until ?Self)
    (Exists (?A) (And (Exit-Condition ?Self ?A) (Situation ?A))))