arch_: Arch friends puzzle (Dell Logic Puzzles).among_seq.pl: Decomposition of the global constraint among_seq.: Decomposition of the global constraint among.
: Fairly generic alphametic (cryptarithmetic) solver.alldifferent_on_: Decomposition of the global constraint alldifferent_on_intersection.alldifferent_: Decomposition of the global constraint alldifferent_modulo.alldifferent_except_0.pl: Decomposition of the global constraint alldifferent_except_0.alldifferent_cst.pl: Decomposition of the global constraint alldifferent_cst.all_min_: Decomposition of the global constraint all_min_dist.all_: All interval problem (CSPLib problem #7).all_: Decomposition of the global constraint all_equal.all_differ_from_at_least_k_pos.pl: Decomposition of the global constraint all_differ_from_at_least_k_pos.a_round_of_: A round of golf (Dell Logic Puzzles).1d_rubiks_: 1-D Rubik's Cube (not CLP).the Euler problems) are just etydes in B-Prolog programming. Note that not all of these are CLP models some (e.g. Each model contains more information and references about the problem. : Blogged about B-Prolog in A first look at B-Prolog. Third party libraries (Code is not included in the distribution).A Common Interface to SAT and MP Solvers.Constraints (CLP(FD), CLP(Sets), CLP(Boolean)).Declarative Loops and List Comprehensions, also see Foreach and list comprehension (PDF).Compared to traditional Prolog systems, B-Prolog has some extensions which makes constraint modelling easier: My B-Prolog page My B-Prolog page This page is maintained by Hakan Kjellerstrand ( is a Prolog based Constraint Logic Programming System.
0 kommentar(er)
