Department of Computer Science and Technology

Technical reports

Logic programming, functional programming and inductive definitions

Lawrence C. Paulson, Andrew W. Smith

29 pages

DOIhttps://doi.org/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

PDF (0.2 MB)
DVI (0.0 MB)

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}
}