Technical reports
Logic programming, functional programming and inductive definitions
Lawrence C. Paulson, Andrew W. Smith
29 pages
DOI: 10.48456/tr-205
Abstract
This paper reports an attempt to combine logic and functional programming. It also questions the traditional view that logic programming is a form of first-order logic, arguing instead that the essential nature of a logic program is an inductive definition. This revised view of logic programming suggests the design of a combined logic/functional language. A slow but working prototype is described.
Full text
BibTeX record
@TechReport{UCAM-CL-TR-205, author = {Paulson, Lawrence C. and Smith, Andrew W.}, title = {{Logic programming, functional programming and inductive definitions}}, url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-205.pdf}, institution = {University of Cambridge, Computer Laboratory}, doi = {10.48456/tr-205}, number = {UCAM-CL-TR-205} }