My B-Prolog page

This page is maintained by Hakan Kjellerstrand (

B-Prolog, is a Prolog based Constraint Logic Programming System. Compared to traditional Prolog systems, B-Prolog has some extensions which makes constraint modelling easier:

More info about B-Prolog

2013-03-10: Blogged about B-Prolog in A first look at B-Prolog.

My B-Prolog models

Here are some of my B-Prolog models. Each model contains more information and references about the problem. Note that not all of these are CLP models; some (e.g. the Euler problems) are just etydes in B-Prolog programming.
Also, see information about other constraint programming systems:
* My Constraint Programming Blog, especially the B-Prolog category
* Constraint Programming
* My MiniZinc page
* My Zinc page
* My JaCoP page
* My JaCoP page
* My Choco page
* My Gecode/R page
* My Comet page
* My Gecode page
* My Tailor/Essence' page
* My SICStus Prolog page
* My Google or-tools page
* My OscaR page
* My JSR-331 page
* My Numberjack page
* My AIMMS+CP page
* My Choco3 page
* My Picat page

Back to my homepage
Created by Hakan Kjellerstrand