托姆·弗鲁厄沃思；Abdennadher，苗条 教程：使用、关于和针对约束处理规则进行推理。 （英语） 兹比尔1057.68573 亚历山德罗·阿曼多（编辑），《组合系统的前沿》。2002年4月8日至10日，意大利圣玛格丽塔利古雷，FroCos 2002，第四届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43381-3）。莱克特。注释计算。科学。2309, 192 (2002). 摘要：约束推理得到了越来越多的应用。为了方便约束推理器的开发，引入了基于规则的并发编程语言约束处理规则。目前，Prolog、Haskell和Java等语言中存在多个CHR库，全球有50多个项目使用CHR。CHR及其数十个约束推理器/求解器可通过互联网在线使用，网址为http://www.pms.informatik.uni-muenchen.de/\（\；^{\widetilde{}}\）网络chr/随着时间的推移，CHR及其扩展对于实现一般推理系统（包括演绎和推理）非常有用，因为诸如正向和反向链接、自下而上和自上而下评估、完整性约束、制表/记忆等技术可以很容易地实现和组合。这个90分钟的演讲将由以下部分组成：通过示例介绍CHR，给出该语言的语法和语义。CHR推理：如何在CHR中实现和组合推理系统。CHR推理：如何分析CHR程序，例如操作等效性和复杂性。CHR推理：如何从CHR中可执行的逻辑规范约束推理器自动派生。有关整个系列，请参见[Zbl 0990.00065号]. 引用于1文件 MSC公司： 68甲15 编程语言理论 软件：哈斯克尔；瑞士法郎 PDF格式BibTeX公司 XML格式引用 \textit{T.Fruehwirth}和\textit{S.Abdennadher}，Lect。注释计算。科学。2309192（2002年；Zbl 1057.68573） 全文： 链接