戴尔·米勒 具有lambda抽象、函数变量和简单统一的逻辑编程语言。 (英语) Zbl 0738.68016号 J.日志。计算。 1,第4期,497-536(1991). 摘要:本文介绍了一种逻辑编程语言,称为\(L_\lambda \),它既包含函数变量,也包含(lambda)抽象,尽管对函数变量的出现有一定的限制。由于这些限制,\(L_\lambda \)的实现不需要实现完全的高阶统一。相反,只需要对一阶统一进行扩展,以尊重绑定变量名和范围。这些统一问题被证明是可判定的,并且在存在统一者时具有最一般的统一者。描述了统一算法和逻辑编程解释器,并证明了其正确性。给出了使用\(L_{\lambda}\)作为元编程语言的几个例子。 引用于1审查引用于83文件 MSC公司: 68N17号 逻辑编程 关键词:受限\(\β\)-转换;量化;非类型统一与解释;统一的正确性;解释的正确性;统一算法 软件:ETPS公司 PDF格式BibTeX公司 XML格式引用 \发短信给{D.Miller},J.Log。计算。1,第4号,497--536(1991;Zbl 0738.68016) 全文: 内政部 链接