My SICStus Prolog page

SICStus Prolog is a constraint programming system in Prolog.

More information about SICStus Prolog

Feature Highlights

My SICStus Prolog models

Here are some of my SICStus Prolog models. The models contains presentation of the problem, references, and links to comparison models in other constraint programming systems.

Note: Many of these models use the new and excellent feature of logical loops (do-loops) which was introduced in SICStus Prolog 4.1.

Also, many are translations (with some improvements) of my ECLiPSe models.
Also, see my other pages about constraint programming systems:
* My Constraint Programming Blog, especially the SICStus Prolog category
* Constraint Programming
* Common constraint programming problems
* My MiniZinc page
* My Zinc page
* My JaCoP page
* My JaCoP/Scala page
* My Choco page
* My Gecode/R page
* My Comet page
* My Gecode page
* My ECLiPSe page
* My Tailor/Essence' page
* My Google CP Solver page
* My OscaR page
* My JSR-331 page
* My Numberjack page
* My AIMMS+CP page
* My B-Prolog page
* My Choco3 page

Back to my homepage
Created by Hakan Kjellerstrand