麦芽酒

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


zbMATH参考文献(参考 5篇文章

显示第1到第5个结果,共5个。
按年份排序(引用)

  1. 彭达,尼克:语言约束系统作为一般软约束满足(2008)ioport公司
  2. 梅尔尼克,努里特:从“手写”到计算实现的HPSG理论(2007)ioport公司
  3. 卡彭特,鲍勃:类型化特征结构的逻辑。应用于统一语法、逻辑程序和约束解析。(2005年)
  4. Hegner,Stephen J.:公开指定类型层次结构的计算和结构方面(2001)
  5. 卡彭特,鲍勃:类型化特征结构的逻辑。应用于统一语法、逻辑程序和约束解析(1992)