Relation
INVERSE-OF-PLANNING-RELATION
Arity
:
2
Axioms:
(
=
(
Inverse
Planning-Relation
)
Inverse-Of-Planning-Relation
)
Defined in theory:
Planning
Source code:
Planning.lisp