CHR公司

约束处理规则(CHR)是一种嵌入在Prolog中的基于承诺选择规则的语言。它是为编写约束求解器而设计的,对于提供特定于应用程序的约束特别有用。它已被应用于许多类型的应用程序中,如调度、模型检查、诱因和类型检查等。CHR以前已经在其他Prolog系统(SICStus、Eclipse、Yap)、Haskell和Java中实现过。该CHR系统基于SICStus的CHR编译方案和运行环境。