>A quoi sert dec?
> dec(R,A):-
> {R=A-1,A>0}.
dec sert à décrémenter une variable
vous ne pouvez pas faire N <= N-1, ou N--
mais vous pouvez faire M <= N-1, cela se fait en utilisant dec(M,N)
cela fait un peu plus, cela vérifie que le N de départ est >0, si ce n'est pas le cas, cela échoue
Attention, pour utiliser dec, il faut charger les bibliothèques de gestion des contraintes :
:- use_module(library(clpq)), main, halt.