UNIFICATION : CONTEXT

UNIFICATION is a context.
Commands for unification.

TPS documentation homepage


UNIFICATION : MODULE

UNIFICATION is a module.

It is loaded.
The higher-order unification module.

NEEDED-MODULES AUTO-BASIC

FILES UNIF-LAMBDA UNIF-SIMPL UNIF-MATCH UNIF-TREE UNIF-AUX UNIF-SUBS

TPS documentation homepage


UNIFICATION : REVIEW-SUBJECT

UNIFICATION is a subject.
Variables associated with Unification

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage