Forum

à quoi sert dec ?

à quoi sert dec ?

by Denis Bouhineau -
Number of replies: 0

>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.