在函数式语言中实现等式约束
摘要：KiCS2：将源语言Curry的函数逻辑程序编译为纯函数式Haskell程序的新系统的实现基于将搜索空间表示为数据结构以及逻辑变量表示为生成其值的操作的思想。这样的实现有一个优点，即可以应用各种不同,特别是完备的搜索策略来计算解决方案。然而，为逻辑变量生成所有值可能对利用部分已知值的约束的应用程序来说是低效的。为了克服这个缺点，我们提出了在这个框架中实现等式约束的新技术。具体而言，我们展示了如何添加函数求值的模一一一统和函数模式，而不损失核心实现的效率。
作者：Bernd Bra{ss}el, Michael Hanus, Bj"orn Peem"oller, Fabian Reck
论文ID：1108.5609
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-08-30