UNIF-TOP : TOPLEVEL

UNIF-TOP is a top level.
The top level of unification search.

TPS documentation homepage


UNIF-TOP : TPS-FILE

UNIF-TOP is a file.
Contents define unification top-level.
/home/theorem/tps/lisp/unif-top.lisp is part of module UNIFICATION-INTERFACE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage