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:

• Source code for parser, in text format
• Source code for entire system, in tar format