Bonjour à tous, je consulte ce forum depuis quelques semaines déjà et je trouve le courage aujourd'hui de m'inscrire pour vous poser une question.
Je souhaiterais poser une contrainte sur la somme des entiers d'une liste avec GNU Prolog, l'équivalent avec SWI-Prolog avec la librairie clpfd de ceci :
sum(L, #=, 200)
J'ai eu beau cherché à droite à gauche je n'ai rien trouvé sur Internet. Je vous remercie d'avance.
PS : le choix du solveur m'a été imposé donc je ne peux pas en changer.
Partager