Source Prolog for TLG Theorem Prover

A typical browser will get confused with this, so you may want to view its source or save it to a file and look at it with your favorite editor. I've included links to two files:

Directory:     TLG Home   |   Help   |   Parser   |   Lexicon

Copyright ©1999. All rights reserved.   Contact:   Updated:   8 November 1999