Constraint Programming toolset with most active community & resources...

Active vs Passive constraints in ECLiPSe CLP...

ECLiPSe CLP puzzle: perfect rectangle fitting...

How do you check the elements of a submatrix in Prolog...

How does subscript work?...

An alldifferent for tuples...

How to use clpfd in eclipseCLP prolog (no eclipse java IDE)...

Profiling ECLiPSe CLP?...

ECLiPSe CLP : Pause between subresults found by search/6 in ic library...

3-in-a-row logic puzzle: optimisation for sequence constraints in lists/arrays...

ECLiPSe clp : getting all adjacent cells on grid...

ECLiPSe CLP Type error in dim?...

Measuring execution time ECLiPSe CLP (or Prolog)...

How to convert vectors to arrays in ECLiPSe (CLP)? (or Prolog)...

Instantiation fault ECLiPSe CSP...

Connecting java with constraint logic programming...

what is the difference between count /3 and for/3 in prolog?...

Using trigonometric functions in eclipse clp...

Exact solutions for lib(ic)...

What is the meaning of the double plus (++) instantiation mode in ECLiPSe Prolog?...

Is there a way to use module/2 in ECLiPSe Prolog?...

The result of Sum is floor(Col + Row + 1) is never an integer and I don't know why...

Need assistance with similar More Money code for Prolog...

How to use the labeling function of Prolog (ECLIPSE program) within the SEND+MORE = MONEY program?...

For this currency code in Prolog, how can I make sure that the total number of coins are between 1 a...

How can I include a value to be included inside a coin counter currency program for Prolog?...

How to find the set intersection from two lists using Prolog/Eclipse language?...

How can I freely assert/retract facts with modules in ECLiPSe Prolog?...