ELAN公司 swMATH ID: 2179 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 描述： ELAN系统提供了一个环境，用于根据策略控制的规则用语言指定和原型化演绎系统。其目的是支持定理证明器、逻辑编程语言、约束求解器和决策程序的设计，并为研究它们的组合提供模块化框架。其目的是支持定理证明器、逻辑编程语言、约束求解器和决策程序的设计，并为研究它们的组合提供模块化框架。ELAN从函数编程中汲取了抽象数据类型的概念和基于重写的函数评估原理。但重写本质上是不确定的，因为在同一术语中，可以在不同位置应用多个规则，并且在ELAN中，一次计算可能会有多个结果。这一方面通过选择操作和回溯能力加以考虑。该语言的主要创意之一是提供策略构造函数，以指定函数调用是返回多个、至少一个结果还是只返回一个结果。这种非确定性的声明性处理是策略语言的一部分，允许程序员在规则应用程序上指定控件。这与许多现有的基于重写的语言形成对比，在这些语言中，术语缩减策略是硬连接的，应用程序的设计者无法访问。策略语言为标记规则的基本策略的顺序合成、迭代、确定性和非确定性选择提供了原语。通过这些原语，可以表达更复杂的策略。此外，用户可以引入新的策略操作符，并通过重写规则来定义它们。战略应用的评估本身是基于重写的。因此，简单而著名的重写范式既提供了演绎系统表达和组合的逻辑框架，也提供了语言的评估机制。这些页面的目的是总结ELAN的特性、库和环境，并为有关该语言的文献提供指南。 主页： http://elan.loria.fr 编程语言： C++ 操作系统： Linux操作系统 依赖项： 依赖关系 关键词： 基于规则的编程;策略;战术;重写;规则应用程序;规则汇编;匹配;高效重写 相关软件： 莫德;OBJ咖啡馆;OBJ3型;西洋陆军棋;哈斯克尔;ATERM公司;Nuprl公司;Coq公司;汤姆;CASL公司;ASF+SDF;PORGY公司;廷巴克;低成本融资;OMRS公司;PMaude公司;毫升;遮阳板;第2组;加勒比 引用于： 106文件 标准条款 2出版物描述软件，包括2出版物以zbMATH为单位 年份 依兰。 Zbl 0942.68589号赫莱内·基什内尔 1999 ELAN：基于计算系统的逻辑框架。 Zbl 0912.68091号彼得·博罗万斯克;克洛德·基什内尔;赫莱内·基什内尔;皮埃尔·埃蒂安·莫罗;玛丽安·维特克 1996 全部的 前5名112位作者引用 20 赫莱内·基什内尔 14 何塞·梅塞盖尔·瓜伊塔 13 克洛德·基什内尔 9 皮埃尔·埃蒂安·莫罗 8 彼得·博罗万斯克 7 克里斯托夫·林盖森 6 马丁·奥列特，纳西索 6 格里高·罗什乌 5 范登·布兰德，Mark G.J。 4 霍雷修·西尔斯泰 4 杰内特，托马斯 4 伊莎贝·格尼迪格 4 萨尔瓦多卢卡斯 三 卡洛斯·卡斯特罗 三 曼纽尔·克莱维尔 三 玛丽贝尔·费尔南德斯 三 乌戈·蒙塔纳里。 三 阮广辉 三 布鲁诺·皮诺 三 L.Jason，Steggles 三 Jurgen J.文朱。 三 埃尔科·维瑟 2 奥利维尔·伯内兹 2 罗伯托·布鲁尼 2 戴维·戴哈贝 2 弗朗西斯科·杜兰 2 史蒂文·艾克 2 马丁·埃尔维格 2 Faure，德国 2 纪尧姆·费伊莱德 2 奥利维尔·菲索 2 劳尔·古铁雷斯 2 拉尔夫·拉梅尔 2 阿纳玛丽亚·马丁斯·莫雷拉 2 任德灵 2 马里奥·罗德里格斯-阿塔莱霍 2 杰罗·谢尔德 2 ☑特拉安·弗洛林（Traian Florin） 2 卡罗琳·塔尔科特。 2 贾森·瓦莱特 2 瓦莱里越战通 1 玛丽亚·阿尔普特 1 普里省阿雷纳斯-桑切斯 1 亚历山德罗·阿曼多 1 克里斯蒂安·阿提奥贝 1 毛里西奥·阿亚拉·林科恩 1 保罗·巴尔丹 1 巴利斯，德米斯 1 David A.Basin。 1 克拉拉·贝托利西 1 克劳斯·布拉布兰德 1 布兰德，塞巴斯蒂安 1 陈冯 1 加布里埃尔·乔巴努 1 亚历山德罗·科格里奥 1 科姆，盖·马利 1 Sylvain Conchon公司 1 瓦莱里·康拉德 1 科雷亚，弗朗西斯科·何塞 1 奥格·德穆尔 1 Denker，砂砾 1 埃里克·德普拉涅 1 圣地亚哥埃斯科瓦尔 1 莫雷诺，法拉斯基 1 法比奥·加杜奇 1 福斯托·金奇利亚 1 雷纳·W·哈特恩斯坦。 1 莉莉亚娜·伊巴内斯库 1 里卡多·雅各比。 1 萨勒马·贾穆西 1 弗朗西斯·克莱 1 保罗·克林特 1 亚历山大·纳普 1 凯文·奈特。 1 马西耶·库特尼 1 萨瓦·A·克里斯蒂。 1 特穆尔库西亚 1 马丁·勒克 1 利马，格莱德森 1 帕特里克·D·林肯。 1 路易吉·利科里 1 卡洛斯·拉诺斯。 1 马林·米尔恰 1 阿美，乔纳森 1 卡尔·梅恩克 1 内托，里纳尔迪·玛雅 1 诺尔，托马斯 1 Peter Csaba，Olveczky 1 劳伦·佩伦 1 帕斯卡·波扎特 1 Jean-François普吉 1 西尔维奥·兰伊斯 1 弗朗西斯卡·罗西 1 鲁宾·鲁比奥 1 格温·萨拉恩 1 佐藤真彦 1 马尔科·舍勒默 1 迈克尔·施瓦茨巴赫。 1 Koushik森 1 Natarajan Shankar …还有12位作者 全部的 前5名21篇连载文章中引用 10 理论计算机科学 4 逻辑与代数程序设计杂志 三 程序设计中的逻辑和代数方法杂志 2 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 2 计算机程序设计科学 2 符号计算杂志 2 信息与计算 2 自动推理杂志 1 信息学报 1 计算机与系统科学杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 函数编程杂志 1 数学与人工智能年鉴 1 蒂米·奥拉的阿奈勒大学。Seria Matematică-信息学 1 IGPL逻辑杂志 1 高阶和符号计算 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 人工智能基础 全部的 前5名在9个字段中引用 103 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 2 一般代数系统（08-XX） 2 运筹学、数学规划（90-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 范畴理论；同调代数（18-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文