Did you know ... Search Documentation:
Profile for user Peter MOUEZA 2

Tags by Peter MOUEZA 2

xorSec. A.8.8

Comments by Peter MOUEZA 2

sum_list/21)For your 1st example,look at https://stackoverflow.com/questions/9875760/sum-o ...
findall/3Geoffrey Churchill : exactly what I meant.
Sec. A.8.8https://www.swi-prolog.org/pldoc/man?section=clpfd-reification
Sec. 4.27Reminder : XOR : https://www.swi-prolog.org/pldoc/man?section=clpfd-reification
Sec. 4.27For div, Q is div(X, Y), M is mod(X, Y), X =:= Y*Q+M. Make error : ERROR: Argume ...
Sec. 4.27.2.3Hi, So I try 1.0 = cos(Z). But it does not find Z :-(