From logic to logic programming [electronic resource] / Kees Doets.

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

Online Access:	Full Text (via MIT Press)
Main Author:	Doets, Kees
Format:	Electronic eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©1994.
Series:	Foundations of computing.
Subjects:	Logic programming. Festschriften.