Logic Programming, Functional Programming, and Inductive Definitions

Lawrence C. Paulson, Andrew W. Smith

An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive defini…