NODE : TPS-FILE

NODE is a file.
Definitions, Functions, etc., needed by unification, mating search,

etc.
/home/theorem/tps/lisp/node.lisp is part of module AUTO-BASIC.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage