CHR 语法

类似于 Definite Clause Grammars 在 Prolog 之上定义和实现的方式，本文提出了一种基于 CHR 的语法形式体系。这些语法作为稳健的自底向上解析器执行，具有固有的歧义处理能力以及对各种语言现象建模的高度灵活性。该形式体系通过一种上下文敏感规则的形式以及在语法规则的头部和体部包含语法外假设的可能性，扩展了以往基于逻辑编程的语法。其应用包括假设语法以及在用于语言分析的完整性约束下的溯因的直接实现。CHR 语法作为语言处理器规范和实现的强大工具出现，并可被提议作为逻辑编程中自底向上语法的新标准。将发表于 Theory and Practice of Logic Programming (TPLP), 2005。