麦芽酒

ALE:Attribute Logic Engine:ale3.2是由Bob Carpenter和Gerald Penn用Prolog编写的免费软件系统，它集成了短语结构解析、语义头驱动的生成和以类型化特征结构为术语的约束逻辑编程。这概括了PATR-II的特征结构和Prolog-II的术语，以允许类型继承和特性和值的适当性规范。可以将任意约束附加到类型，并且可以将类型声明为具有扩展结构标识条件。语法还可以将统一步骤与逻辑程序目标调用交叉（在DCGs中可以这样做），从而允许解析与其他系统组件交叉。ALE的开发着眼于头驱动短语结构语法（HPSG），但它也可以执行PATR-II语法、确定子句语法（DCGs）、Prolog、Prolog II和登录程序等。通过适当的编码，它还可以执行词汇功能语法（LFG）的多个方面。