Relation LAST-PLAN

Arity: 2

Domain: Generic-plan

Range: Generic-plan

Axioms:

(= (Inverse Last-Plan-Of) Last-Plan)

(<=> (Last-Plan ?A ?B) (And (Generic-Plan ?A) (Generic-Plan ?B)))

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