Solving N-queens with Constraint Handling Rules...

Constraint Handling Rules in SWI Prolog: The `neq` constraint doesn't work...

Constraint Handling Rules in SWI Prolog: What's the order of puting a constraint to the store?...

Solving chain reactions in prolog...

CHR behavior in SWI Prolog for simple and() rule...

CHR solution output in Prolog...

Defining CHR constraints at runtime...

Representing logical disjunctions in Constraint Handling Rules...

Avoiding infinite recursion with Constraint Handling Rules...