Julien Cumin

Test cases

3

Is there any available list of test cases to check changes made to CLPZ?

Possible improvements to abs/1

4

(Tested on SWI's CLP(FD), though I assume the same problem exists in CLP(Z)) **Weak propagation** ``` ?- X #= abs(X) + 1. X in 2..sup, _G2048+1#=X, _G2048#=abs(X), _G2048 in 2..sup....

Concatenate and leading zeroes

1

If all elements of the input list are bound, we should relax the constraint that there cannot be any leading zero. If they are not all bound, then the behavior...

Currently, the Input and the Ouput are always the first and last variable of a rule. Most of the time, when the first of last token of a rule is...

Currently, `\ - transpose` uses the `transpose/2` predicate from `library(clpfd)`. This predicate doesn't work when parts of the first argument are uninstantiated, or on strings, or on numbers, etc.

Add subscripts for the Input

2

e.g. `?₁` is the second element of `?`, `?₎` is the last element of `?`, etc. This can be done by adding predicates calls like constraint variables at the beginning...

`x` is not implemented for integers or floats.

Make floats use CLP(FD)

5

Use something like `'float':Mantissa:Exponent` to represent floats in the transpiler and built-ins, so that we can apply constraints on the mantissa and exponent of a floating point number. This could...

CLP(FD) request: improve propagation for exponentiation

6

I have identified a situation where I believe CLP(FD) could reduce the search space much more than what it currently does: ``` ?- X^Y #= 0. X^Y#=0. ``` I believe...