My SWI-Prolog page

This page is maintained by Hakan Kjellerstrand (hakank@gmail.com)

SWI-Prolog is a popular Prolog system which has support for CLPFD and many other features.

Some useful pages for SWI-Prolog:

My SWI-Prolog programs/models

Here are some of my SWI-Prolog programs/constraint models. Note: Many of these programs are CLP(FD) programs ported from Picat (see My Picat page), and perhaps there are some traces of Picat here and there.

These programs are also available at my GitHub repo.

Modules

Here are some modules used by the other models.

Module hakank_util.pl

Please note that many programs/models use hakank_utils.pl, so this module should be downloaded as well. It should be loaded as :- use_module(hakank_utils). .

Here's the content of that module. It is mostly (global) constraints that I miss or wrapper/convenience predicates, especially for clp(fd).

Module bplan.pl

The bplan module is a simple planner module. It's inspired by some planning modules from the great Prolog introduction book "Thinking as computation" by Hector J. Levesque.
The following predicates are exported It's used by the following programs:

Models/programs

As mentioned above, almost all the models/program use the module hakank_utils.pl.
Also, see my other pages about constraint programming systems:
* My Constraint Programming Blog
* Constraint Programming
* Common constraint programming problems
* My MiniZinc 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 SICStus Prolog 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
* My Picat page
* My Z3 page

Back to my homepage
Created by Hakan Kjellerstrand hakank@gmail.com