The Semantics of Predicate Logic as a Programming Language-Reference-Cited by-同舟云学术

The Semantics of Predicate Logic as a Programming Language

Published:1976-10 Issue:4 Volume:23 Page:733-742
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Van Emden M. H.¹,Kowalski R. A.²

Affiliation:

1. Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1

2. Department of Computation & Control, Imperial College, 180 Queens Gate, London SW7, United Kingdom

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Link

https://dl.acm.org/doi/pdf/10.1145/321978.321991

Reference24 articles.

1. Splitting and reduction heuristics in automatic theorem proving

2. CrluRCri A lntroducuon to Mathemaucal Logic Vol 1 Princeton U Press Princeton N J 1956 CrluRCri A lntroducuon to Mathemaucal Logic Vol 1 Princeton U Press Princeton N J 1956

Cited by 971 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Challenges of software verification: the past, the present, the future;International Journal on Software Tools for Technology Transfer;2024-08

2. Embedding justification theory in approximation fixpoint theory;Artificial Intelligence;2024-06

3. Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming;Artificial Intelligence;2024-06

4. aspmc: New frontiers of algebraic answer set counting;Artificial Intelligence;2024-05

5. Model Explanation via Support Graphs;Theory and Practice of Logic Programming;2024-02-29