Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

preprint · arXiv (Cornell University) · 2023

The Logic of Logic Programming

Marc Denecker, David Scott Warren

Cited by 3Open access

Abstract

Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarity between prototypical Prolog programs (e.g., member, append, ...) and how inductive definitions are expressed in mathematical text, is not coincidental but essential. We argue here that this provides a natural solution to the main lingering semantic questions of Logic Programming and its extensions.

Cite this paper

APA 7

Denecker, M., & Warren, D. S. (2023). The Logic of Logic Programming. arXiv (Cornell University). https://doi.org/10.48550/arxiv.2304.13430

MLA 9

Denecker, Marc, and David Scott Warren. “The Logic of Logic Programming.” arXiv (Cornell University), 2023, https://doi.org/10.48550/arxiv.2304.13430.

Chicago

Denecker, Marc, and David Scott Warren. 2023. “The Logic of Logic Programming.” arXiv (Cornell University). https://doi.org/10.48550/arxiv.2304.13430.

Harvard

Denecker, M. and Warren, D.S. (2023) ‘The Logic of Logic Programming’, arXiv (Cornell University). Available at: https://doi.org/10.48550/arxiv.2304.13430.

BibTeX
@misc{denecker2023logic,
  title = {{The Logic of Logic Programming}},
  author = {Denecker, Marc and Warren, David Scott},
  journal = {arXiv (Cornell University)},
  year = {2023},
  doi = {10.48550/arxiv.2304.13430}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers