The Semantics of Predicate Logic as a Programming Language

Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. It is concluded that operational seman...

Full description

Saved in:
Bibliographic Details
Published in:Journal of the ACM 1976-10, Vol.23 (4), p.733-742
Main Authors: Van Emden, M. H., Kowalski, R. A.
Format: Article
Language:English
Subjects:
Joints
Logic
Predicate logic
Programming languages
Proving
Semantics
Sentences
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. It is concluded that operational semantics is a part of proof theory and that fixpoint semantics is a special case of model-theoretic semantics.
ISSN:0004-5411
1557-735X
DOI:10.1145/321978.321991