Computer Laboratory

Technical reports

Logic programming, functional programming and inductive definitions

Lawrence C. Paulson, Andrew W. Smith

29 pages


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},
  number = 	 {UCAM-CL-TR-205}