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) · 1990

Logic Programming, Functional Programming, and Inductive Definitions

Lawrence Charles Paulson, Andrew W. Smith

Cited by 0Open access

Abstract

An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.

Cite this paper

APA 7

Paulson, L. C., & Smith, A. W. (1990). Logic Programming, Functional Programming, and Inductive Definitions. arXiv (Cornell University). https://doi.org/10.48456/tr-205

MLA 9

Paulson, Lawrence Charles, and Andrew W. Smith. “Logic Programming, Functional Programming, and Inductive Definitions.” arXiv (Cornell University), 1990, https://doi.org/10.48456/tr-205.

Chicago

Paulson, Lawrence Charles, and Andrew W. Smith. 1990. “Logic Programming, Functional Programming, and Inductive Definitions.” arXiv (Cornell University). https://doi.org/10.48456/tr-205.

Harvard

Paulson, L.C. and Smith, A.W. (1990) ‘Logic Programming, Functional Programming, and Inductive Definitions’, arXiv (Cornell University). Available at: https://doi.org/10.48456/tr-205.

BibTeX
@misc{paulson1990logic,
  title = {{Logic Programming, Functional Programming, and Inductive Definitions}},
  author = {Paulson, Lawrence Charles and Smith, Andrew W.},
  journal = {arXiv (Cornell University)},
  year = {1990},
  doi = {10.48456/tr-205}
}

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