Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report

Thom Frühwirth, Daniel Gall

Constraint Handling Rules (CHR) is a declarative rule-based formalism and language. Concurrency is inherent as rules can be applied to subsets of constraints in parallel. Parallel…