巴贝尔 swMATH ID: 3018 软件作者： 马里奥·罗德里格斯-阿塔莱霍 描述： 用函数和谓词进行逻辑编程：BABEL语言。我们研究了实验性编程语言BABEL，该语言旨在以简单、灵活和数学上良好的方式实现函数编程（如HOPE、Standard、ML或MIRANDA所示）和逻辑编程（如PROLOG所示）的集成。该语言依赖于构造器规程，非常适合容纳PROLOG术语和类HOPE模式。从句法角度来看，BABEL将纯PROLOG与一阶函数表示法结合在一起。另一方面，该语言使用窄化作为惰性约简语义的基础，该语义体现了重写和SLD解析，并支持具有潜在无限数据结构的计算。还有一种基于Scott域的声明性语义，它为BABEL程序提供了最小Herbrand模型的概念。我们发展了这两种语义，并证明了最小Herbrand模型的存在性，以及与声明语义相对应的约简语义的稳健性结果。我们还为约简语义绘制了一个完整的结果，并通过一些编程示例说明了该语言的特性 主页： http://www.mathematik.uni-marburg.de/~loogen/babel.html 关键词： 程序设计语言BABEL；函数式编程；逻辑程序设计；缩小；惰性约简语义；陈述语义学；Scott域；最小Herbrand模型；完整性 相关软件： 内核-叶；玩具；咖喱；电子计算机控制；PAKCS公司；米兰达；水星；欧兹；莫德；SICStus公司；哈斯克尔；AProVE公司；毫升；茶包；对象货币；ELAN公司；GHC公司；Refal公司；DiSCiPl公司；GHC公司 引用于： 72文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 用函数和谓词进行逻辑编程：BABEL语言。 Zbl 0754.68031号莫雷诺·纳瓦罗，胡安·何塞；马里奥·罗德里格斯-阿塔莱霍 1992 全部的 前5名77位作者引用 13 德国维达尔 12 玛丽亚·阿尔普特 10 莫雷诺，法拉斯基 10 迈克尔·哈纳斯 8 马里奥·罗德里格斯-阿塔莱霍 6 艾尔维拉·阿尔伯特 6 塞尔吉奥·安托伊 4 丽塔·勒根 4 萨尔瓦多卢卡斯 4 莫雷诺·纳瓦罗，胡安·何塞 三 安东尼奥·贝塞拉·特隆 三 海因茨法？本德 三 帕斯卡尔·朱利安·伊兰佐 三 洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔 三 阿尔特·米德尔多普 三 乔塞普·席尔瓦 2 阿尔梅德罗斯-吉梅内斯，杰苏斯·曼努埃尔 2 普里省阿雷纳斯-桑切斯 2 黛米斯·巴利斯 2 科雷亚，弗朗西斯科·何塞 2 圣地亚哥埃斯科瓦尔 2 冈萨雷斯-莫雷诺，胡安·卡洛斯 2 霍塔拉·冈萨雷斯，玛丽亚·特蕾莎 2 艾达、铁雄 2 赫伯特·库欣 2 乔治·列维 2 莱姆，塞巴斯蒂安 2 Mariño-Carballo，胡里奥 2 莫雷诺，吉纳斯 2 瓜达卢佩·拉莫斯 2 皮埃尔·雷蒂 2 铃木、太郎 2 史蒂芬·温克勒（Stephan M.Winkler）。 1 谢尔盖·阿勒克桑德罗维奇·阿布拉莫夫 1 Alemandros Jiménez、Jesús M。 1 古斯塔沃·阿罗约 1 哈罗德·博利 1 安娜丽莎·博西 1 约翰·博伊 1 拉斐尔·E·卡巴列罗。 1 丹尼尔·卡贝扎 1 阿马迪奥·卡萨斯 1 Manuel M.T.查克拉瓦蒂。 1 尼科莱塔·科科 1 弗朗西索·科雷亚 1 斯蒂芬·克雷格 1 玛丽亚·安吉利卡·法布里斯 1 斯泰西·芬克尔斯坦。 1 彼得·弗雷德。 1 毛里齐奥·加布里埃利 1 埃米利奥·杰苏斯·加列戈·阿里亚斯 1 罗伯特·格莱克 1 简·格拉博夫斯基 1 伯恩哈德·格拉姆利希 1 埃里克·哈蒙 1 沃纳·汉斯 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 佩特拉·霍夫斯特德 1 弗兰克，哈 1 帕斯卡尔·朱利安 1 尤里·克里莫夫 1 皮埃尔·莱斯坎 1 Michael Leuschel先生 1 詹姆斯·利普顿（James B.Lipton）。 1 亨德里克·洛克。 1 塞巴斯蒂安·马内思 1 费迪南多·曼佐 1 Bart C.Massey。 1 直纪西田 1 哈维尔·奥利弗 1 尼古拉斯·佩尔蒂埃 1 彼得·佩珀 1 克里斯蒂安·普雷霍弗 1 何塞·玛丽亚·雷伊·波扎 1 克里斯蒂安·维拉米扎·拉穆斯 1 福格勒、海科 1 沃尔夫冈·韦克勒 全部的 前5名17篇连载文章中引用 5 理论计算机科学 5 函数与逻辑程序设计杂志 4 逻辑程序设计杂志 4 逻辑程序设计理论与实践 三 符号计算杂志 三 新一代计算 2 工程、通信和计算中的应用代数 1 信息处理信件 1 计算机语言 1 计算的形式方面 1 人工智能通信 1 离散数学和理论计算机科学。DMTCS公司 1 欧洲理论计算机科学协会公报 1 RIMS Kokyuroku公司 1 高阶和符号计算 1 计算机科学课堂讲稿 1 数学研究 在3个字段中引用 72 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 按年份列出的引文