Extensions of Logic Programming: Third International Workshop, Elp '92, Bologna, Italy, February 26-28, 1992 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: P. Mello (Editor)
Publisher: Springer
Published: February 1993
Number of pages: 425
ISBN-13: 9780387564548
First sentence: The purpose of this work is to define a theorem prover that retains the procedural aspects of logic programing.