Logic Programming, Functional Programming, and Inductive Definitions
计算机科学中的逻辑
2016-08-31 v1
摘要
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.
引用
@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}
}