Discussion :

[sehes]

Bonsoir à tous,

J'ai un CSP à résoudre et pour cela j'utilise un tableau qui contient les variables à trouver.

A un moment donné dans mon programme, je prends une variable de ce tableau et je lui additionnes un nombre pour la mettre dans une autre variable.

Seulement lors de l'exécution j'ai une erreur, apparemment à cause du fait que cette variable n'a pas encore de valeur.

Donc je voudrais savoir comment faire cette opération.

Merci d'avance, en espérant avoir été clair :s

[Trap D]

N'ayant pas ma boule de cristal pour lire ton code, je ne peux pas te répondre, désolé.

[sehes]

Merci d'avoir répondu Trap D,

Mon code se résumerait ainsi :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
contrainte([], []).
contrainte([X|RX], [Y|RY]) :-
    Y is X+3,
    contrainte(RX, RY).
 
pb :-
    length(L, 3),
    L #:: 1..5,
 
    length(LR, 3),
    LR #:: 1..5,
 
    /* 
    ....
    blablabla contraintes sur L
    ....
    */
 
    contrainte(L, LR),
    labeling(L).

Et donc ça bute au niveau de LR :s

PS : je débute en Prolog

[Trap D]

Ma réponse ne se justifie que pour SWI-Prolog avec le module de gestion de contraintes clpfd.pl ; si tu utilises un autre Prolog, peut-être ne sera-t-elle pas correcte.
Donc, AMHA, ton erreur se situe ici :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
contrainte([], []).
contrainte([X|RX], [Y|RY]) :-
 
    Y is X+3,   <==== ici en SW-Prolog, j'écrirais Y #= X+3, car c'est une contrainte sur des nombres
 
    contrainte(RX, RY).

[sehes]

J'utilise EclipseTk btw.

En fait je pensais que je ne pouvais pas écrire X #= Y + 3 à cause de l'unification. C'est pour ça que j'utilisais "is" qui sert à l'affectation.

Bref ça marche donc merci l'ami