Relation
LAST-PLAN-OF
Arity
:
2
Domain
:
Generic-plan
Range
:
Generic-plan
Subrelation-Of
:
Planning-relation
Axioms:
(=> (
Last-Plan-Of
?A ?B) (Not (Exists (?W) (And (
Generic-Plan
?W) (
Plan-Successor
?A ?W)))))
Defined in theory:
Planning
Source code:
Planning.lisp