A Prolog Technology Theorem Prover
by Stickel, Mark E.
Technical Note 336
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
Note: Published in IEEE 1984 International Symposium on Logic Programming
An extension of Prolog, based on the model elimination theorem-proving procedure, would permit production of a logically complete Prolog technology theorem prover capable of performing inference operations at a rate approaching that of Prolog itself.
|Stickel, Mark E||Principal Scientist|