Hacker News Reader

Picat Language which is designed to be more main stream than Prolog supports CP out of the box , also has a planning module

Here's a link to Picat's main site: http://picat-lang.org/ . My Picat page have quite a few examples of CP/SAT models (also non-CP programs): http://www.hakank.org/picat/ .