From logic to logic programming /

This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolut...

Full description

Bibliographic Details

Main Author:	Doets, Kees
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©1994.
Series:	Foundations of computing
Subjects:	Logic programming. COMPUTER SCIENCE/Artificial Intelligence Electronic books.
Online Access:	Connect to the full text of this electronic book