莫雷诺·纳瓦罗，胡安·何塞;马里奥·罗德里格斯-阿塔莱霍 用函数和谓词进行逻辑编程：BABEL语言。 （英语） Zbl 0754.68031号 J.日志。程序。 12，第3期，191-223（1992）. 摘要：我们研究了实验性编程语言BABEL，该语言旨在以简单、灵活和数学上良好的方式实现函数编程（如HOPE、Standard、ML或MIRANDA所示）和逻辑编程（如PROLOG所示）的集成。该语言依赖于构造器规程，非常适合容纳PROLOG术语和类HOPE模式。从句法角度来看，BABEL将纯PROLOG与一阶函数表示法结合在一起。另一方面，该语言使用窄化作为惰性约简语义的基础，该语义体现了重写和SLD解析，并支持具有潜在无限数据结构的计算。还有一种基于Scott域的声明性语义，它为BABEL程序提供了最小Herbrand模型的概念。我们发展了这两种语义，并证明了最小Herbrand模型的存在性，以及与声明语义相对应的约简语义的稳健性结果。我们还为约简语义绘制了一个完整的结果，并通过一些编程示例说明了该语言的特性。 引用于25文件 MSC公司： 68N17号 逻辑编程 68甲15 编程语言理论 68问题55 计算理论中的语义学 关键词：程序设计语言BABEL;函数式编程;逻辑程序设计;缩小;惰性约简语义;陈述语义学;斯科特域名;最小Herbrand模型;完整性 软件：米兰达;巴贝尔 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Moreno-Navarro}和\textit{M.Rodríguez-Artalejo}，J.Log。程序。12，第3号，191--223（1992；Zbl 0754.68031） 全文： 内政部