Relation
ADDRESS-OF
Arity
:
2
Axioms:
(
=
(
Inverse
Has-Address
)
Address-Of
)
Defined in theory:
Localization
Source code:
Localization.lisp