Discussion :

[Invité]

Bonjour,

J'ai un morpion, de 5 cases de coté.
Je declare mes cases de contraintes ainsi :

Code :

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

1
2
3
4
L=[
A1,A2,A3,A4,A5,
B1,B2,...B5,
E1,...,E5],

Maintenant, j'aimerais créer un morpion de 7 cases de coté.
Sans avoir a réécrire 49-25 variables en plus dans la liste.

Ya-til une possibilité?
J'imaginais quelquechose comme un eval, mais je ne sais même pas si ca existe.

[Trap D]

En SWI-Prolog, on peut toujours créer une liste non initialisée de longueur donnée Len avec le prédicat length(List, Len).

[Invité]

effectivement, c'est un bon début.

Je vais tester ca demain a tete reposée.
Le but, c'est de faire un carré latin (objectif intermédiaire semblable a mon probleme).

Du coup, il faut que je teste si on peut rajouter des contraintes sur des variables dans un prédicat (autre que celui qui appele label), mais je pense que oui.

En tout cas merci pour ton aide Trap D.

[Trap D]

Si tu veux faire des carrés latins, regarde la bibliothèque de contraintes CLP(FD) incluse dans SWI-Prolog et l'article de pcaboche sur les Sudoku