资 源 简 介
We give a parallel implementation of Constraint Handling Rules implemented as a library using the Glasgow Haskell Compiler. Constraint Handling Rules (CHR) is a multi set constraint rewrite formalism which supports a very fine-grained form of parallelism. CHR rules can be applied in parallel if the rewriting steps they imply do not interfere with each other. Our implementation runs on multi-core architectures. Our experiments show that CHR program run generally
faster given more processor cores.
