PTTP - Prolog Technology Theorem Prover

Overview

Selected Publications

Some Related Systems

Downloads


Mark E. Stickel (stickel_a_t_ai.sri.com)
2006-10-04