Compute a list of distinct odd numbers (if one exists), such that their sum is equal to a given numb...

Generating dynamic size permutations in SWI-Prolog results with ERROR: Out of global stack...

Creating a list of lists in Prolog...

clpfd - constraint upper bond of domain the be the maximum of a list of elements...

Reification integration issues...

Create combinations of numbers within list prolog...

How to add domain variable to global_cardinality?...

Binary to decimal - prolog...

Prolog constraint...

Not sufficiently instantiated for maplist(all_distinct, list)...

What paradigm is this?...

Prolog fd_domain is being undefined...

How to prevent duplicates in generated sequences by using dif/2?...

Manipulate labeling/2 output PROLOG...

Prolog syntax error on format...

Prolog: "false" with query...

How to do arithmetic expression evaluation in prolog?...

EndView game on gnu Prolog...

Why does this Prolog Fibonacci function cause a "instantiation_error"?...

Prolog: foreach or forall for constraint solving?...

Board Assembly with constraints...

Recursive function in Prolog...

How to define a variable domain to be non-continuous range...

Can you use a variable in the [limit (x)] option of the cumulative predicate in prolog?...

Simple nth1 predicate in Prolog...

SWI Prolog maximize function appears to not work...

Labeling with time_out difference between Sicstus 4.2.3 and 4.3.0...

Prolog Beginner: How to make unique values for each Variable in a predicate...

Expressing setup time with cumulatives...

Constraint programming in SWI-Prolog...