Logic Programming from the Perspective of Algebraic Semantics

Authors:
Jan A. Plaza
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
Venue:
Fundamenta Informaticae
Year:
1996

Citing 6
Cited 0

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Logic programming

Handbook of theoretical computer science (vol. B)
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming

Journal of the ACM (JACM)
Operators on Lattices of omega-Herbrand Interpretations

TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
Fully declarative programming with logic mathematical foundations

Fully declarative programming with logic mathematical foundations

Quantified Score

Hi-index	0.00

Visualization

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.