随着时间的流逝：约束处理规则——1998年至2007年CHR研究综述PDF书籍下载

原名:As time goes by: Constraint Handling Rules-A survey of CHR research from 1998 to 2007
作品简介:继前一个..宿主语言H)的内置函数结合..对存储添加约束的动态过程的逻辑公式之后的十年里，CHR相关的研究激增，他们推导出……