Bonjour,

Afin de résoudre un problème, j'ai fait des recherches sur la programmation par contrainte. Je suis tombé sur Developpez.com et le cours de prolog.

Pourriez vous svp me donner un coup de main afin de résoudre mon pb?

Voici de quoi il s'agit.

J'ai 4 variables à déterminer.
Elles appartiennent à l'ensemble des nombres entiers compris entre 1 et 20.
Elles sont toutes différentes.

En plus de ça, j'ai une dizaine de contraintes du type:

1 ou 2 d'entre elles appartiennent à l'ensemble A
Minimum 1 d'entre elles appartient à l'ensemble B
...

Les ensembles A, B,.. sont des sous ensembles De [1,2,...20]

Le but est de trouver toutes les combinaisons répondant aux contraintes...

Ce genre de problème peut il est résolu avec swi-prolog?

Merci de votre aide,

Alexandre