逻辑编程、函数式编程与归纳定义
计算机科学中的逻辑
2016-08-31 v1
摘要
本文报告了统一逻辑编程与函数式编程的尝试。作为出发点，我们采取这样的观点：“逻辑程序”不是关于逻辑的，而是构成了集合与关系的归纳定义。基于这些考虑，勾勒了一种骨架语言设计，并讨论了一个原型实现。
引用
@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}
}