Publication Details

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
1984.

Note: Published in IEEE 1984 International Symposium on Logic Programming

Order an AIC Technical Note

Abstract

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.

Electronic Copies

Adobe PDF

BibTeX

EndNote

AIC Personnel

	Name	Title	E-mail
	Stickel, Mark E	Principal Scientist