https://hgpu.org/?p=8285
Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit