alldifferent_cst.pl: Decomposition of the global constraint alldifferent_cst.all_min_: Global constraint all_min_dist.all_differ_from_at_least_k_pos.pl: Global constraint all_differ_from_at_leats_k_pos.

alldiffer_on_: Global constraint alldiffer_on_intersection.a_round_of_: A Round of Golf puzzle (Dell Logic Problems).a_: 'A Puzzle' (from the 'God plays dice' blog).3_jugs_: 3-jugs problem using regular constraint.3_: 3-jugs problem as a shortest path problem (Taha).Note: this program use the bplan module which must be downloaded as well. 1d_rubiks_: 1D Rubik's Cube planning problem.Levesque.Īs mentioned above, almost all the models/program use the module hakank_. It's inspired by some planning modules from the great Prolog introduction book 'Thinking as computation' by Hector J. The bplan module is a simple planner module. extract_from_indices2d/3 (should perhaps be called matrix_elements2d/3 instead?).extract_from_indices/3 (should perhaps be called matrix_elements/3 instead?).matrix_nth1/4 (a better name for matrix_element5/3).It is mostly (global) constraints that I miss or wrapper/convenience predicates, especially for clp(fd). It should be loaded as :- use_module(hakank_utils). Please note that many programs/models use hakank_, so this module should be downloaded as well. Here are some modules used by the other models. These programs are also available at my GitHub repo. 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. Here are some of my SWI-Prolog programs/constraint models. Anne Ogborn's tweets about (SWI-)Prolog tips/facts My SWI-Prolog programs/models.SWISH Online SWI-Prolog notebook ( examples).My SWI-Prolog page My SWI-Prolog page This page is maintained by Hakan Kjellerstrand is a popular Prolog system which has support for CLPFD and many other features.

Swi prolog org