Relation
PRECONDITION
Arity
:
2
Domain
:
Generic-plan
Range
:
Situation
Subrelation-Of
:
Planning-relation
Axioms:
(=> (
Precondition
?A ?B) (Exists (?C) (And (
Method-Of
?A ?C) (
Follows
?C ?B))))
Defined in theory:
Planning
Source code:
Planning.lisp