Department of Computer Science and Technology

Technical reports

Logic programming, functional programming and inductive definitions

Lawrence C. Paulson, Andrew W. Smith

29 pages

DOI: 10.48456/tr-205


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

  author =	 {Paulson, Lawrence C. and Smith, Andrew W.},
  title = 	 {{Logic programming, functional programming and inductive
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-205},
  number = 	 {UCAM-CL-TR-205}