Relation PRECONDITION-OF

Arity: 2

Domain: Situation

Range: Generic-plan

Axioms:

(= (Inverse Precondition) Precondition-Of)

(<=> (Precondition-Of ?A ?B) (And (Situation ?A) (Generic-Plan ?B)))

• Defined in theory: Planning
• Source code: Planning.lisp