You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

Logic Programming from the Perspective of Algebraic Semantics

Article type: Research Article

Authors: Plaza, Jan A.

Affiliations: Department of Mathematics and Computer Science, University of Miami, P.O. Box 249085, Coral Gables, Florida 33124, U.S.A. janplaza@math.cs.miami.edu, http://www.cs.miami.edu/~janplaza

Keywords: Rasiowa-Sikorski lemma, algebraic semantics, logic programming, completeness of SLD-resolution

DOI: 10.3233/FI-1996-281210

Journal: Fundamenta Informaticae, vol. 28, no. 1-2, pp. 153-164, 1996

Published: 1996
Get PDF

Abstract

We present an approach to foundations of logic programming in which the connection with algebraic semantics becomes apparent. The approach is based on omega-Herbrand models instead of conventional Herbrand models. We give a proof of Clark's theorem on completeness of SLD-resolution by methods of the algebraic semantics. We prove the existence property for definite programs.

Show more