Applications in this blog using SICStus Prolog are listed here.
SICStus Prolog is a development of SICS, the Swedish Institute of Computer Science. It is a commercial product, actively maintained and developed. For constraint applications, its main interest is in a set of powerful global constraints.