函数逻辑编程中失败的证明论方法
摘要：从程序中提取负面信息是逻辑编程中的一个重要问题。在这里，我们从证明论的角度解决了函数逻辑程序的问题。我们的工作出发点是基于构造函数的重写逻辑（CRWL），这是一个被广泛接受的函数逻辑编程的理论框架，其基本概念是非严格非确定性函数。我们提出了一个证明演算，CRWLF，它能够从CRWL程序中推断出负面信息。特别地，CRWLF能够证明CRWL中归约的有限失败。
作者：Francisco Javier Lopez-Fraguas, Jaime Sanchez-Hernandez
论文ID：cs/0405102
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23