逻辑编程的惰性函数式方面
编程语言
2007-05-23 v1 计算机科学中的逻辑
摘要
将逻辑程序翻译成函数式程序的可能性长期以来一直是被研究的课题。许多方法的共通点在于,为了进行翻译,原始逻辑程序需要是良程式的。这导致人们普遍理解这些程序可以被视为逻辑程序的“函数式部分”。因此,人们普遍接受“复杂”逻辑变量、动态选择规则的可能性以及非良程式程序的一般属性是逻辑程序的专属特征。这并不完全正确,因为其中一些特征在惰性函数式语言中天然存在。我们重新审视关于哪些特征是逻辑编程范式所专属的这个旧问题,通过定义一种适用于更广泛范围的逻辑程序的简单翻译,并演示当前的限制条件不够合理。
引用
@article{arxiv.cs/0003070,
title = {The (Lazy) Functional Side of Logic Programming},
author = {S. Etalle and J. Mountjoy},
journal= {arXiv preprint arXiv:cs/0003070},
year = {2007}
}
备注
23 pages