Logic Programming, Functional Programming, and Inductive Definitions
<|reference_start|>Logic Programming, Functional Programming, and Inductive Definitions: 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.<|reference_end|>
@article{paulson2001logic,
    title={Logic Programming, Functional Programming, and Inductive Definitions},
    author={Lawrence C. Paulson and Andrew W. Smith},
    journal={published in P. Schroeder-Heister (editor), Extensions of Logic
  Programming (Springer, 1991), 283-310},
    year={2001},
    archivePrefix={arXiv},
    eprint={cs/9301109},
    primaryClass={cs.LO}
}