Extensions of Logic Programming
Subtitle: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings (Focus on Computer Graphics)
Contributors: Evelina Lamma (Editor); Paola Mello (Editor); E. Lamma (Other Contributor)
Publisher: Springer
Published: March 1993
Language: eng
Format: Paperback
Number of pages: 417
ISBN-13: 9783540564546
Subjects: Artificial intelligence; Programming languages; Software engineering; Artificial Intelligence - General; Programming - General; Computers - Languages / Programming
First sentence: The purpose of this work is to define a theorem prover that retains the procedural aspects of logic programing.