埃兰

ELAN系统提供了一种环境，用于基于策略控制的规则在语言中指定和原型演绎系统。其目的是支持定理证明器、逻辑程序设计语言、约束求解器和决策过程的设计，并提供一个模块化的框架来研究它们的组合。其目的是支持定理证明器、逻辑程序设计语言、约束求解器和决策过程的设计，并提供一个模块化的框架来研究它们的组合。ELAN从功能编程的角度出发，抽象数据类型的概念和基于重写的函数评价原理。但是重写本质上是非确定性的，因为在同一个术语中可以应用多个规则在不同的位置，并且在ELAN中，计算可能有多个结果。这一方面通过选择操作和回溯能力来考虑。语言的主要独创性之一是提供策略构造函数来指定函数调用是否返回多个、至少一个或仅一个结果。这种非确定性的声明性处理是策略语言的一部分，允许程序员在规则应用程序上指定控件。这与许多现有的基于改写的语言形成对比，其中术语缩减策略是硬连线的，而应用程序的设计者不可访问。策略语言为原语策略的顺序合成、迭代、确定性和非确定性选择提供原语，这些基本策略被标记为规则。从这些原语，可以表达更复杂的策略。此外，用户可以引入新的策略运算符，并通过重写规则来定义它们。战略应用的评价本身是基于改写的。因此，简单而著名的重写范式既提供了演绎系统可以表达和组合的逻辑框架，又提供了语言的评价机制。这些网页的目的是总结ELAN的特点，图书馆和环境，并提供指导语言的文献。