Bonjour,
j'aimerais connaitre l'équivalent du prédicat gnu-prolog fd_relation/2 sous d'autres environnements prolog (chip), c'est à dire comment définir des contraintes en extension, en donnant explicitement les listes de valeurs que peut prendre une liste de variables : par exemple :
fd_relation([[0,1,2],[3,4,5]],[X,Y,Z]) pose la contrainte "(X=0 et Y=1 et Z=2) ou (X=3 et Y=4 et Z=5)".

Merci à celui ou ceux qui pourraientt m'aider !