Logic Programming, Functional Programming, and Inductive Definitions
Logic in Computer Science
2016-08-31 v1
Abstract
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 definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.
Cite
@article{arxiv.cs/9301109,
title = {Logic Programming, Functional Programming, and Inductive Definitions},
author = {Lawrence C. Paulson and Andrew W. Smith},
journal= {arXiv preprint arXiv:cs/9301109},
year = {2016}
}