Technical reports

Logic programming, functional programming and inductive definitions

Lawrence C. Paulson, Andrew W. Smith

29 pages

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 = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-205.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-205}
}