Relation FIRST-PLAN-OF

Arity: 2

Domain: Generic-plan

Range: Generic-plan

Subrelation-Of: Planning-relation

Axioms:

(<=> (First-Plan-Of ?A ?B)
     (And (Not (Exists (?W)
                       (And (Generic-Plan ?W)
                            (Plan-Predecessor ?A ?W))))
          (Planning-Relation ?A ?B)
          (Generic-Plan ?A)
          (Generic-Plan ?B)))

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