Discussion :

[alexglvr]

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

[Alp]

Oui c'est tout à fait possible.

Il faut fixer des contraintes du type :

Code :

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

between_1_and_20(X) :- X =< 20, X >= 1.

Ensuite, il faut réfléchir un peu pour les contraintes

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

Tu peux tout à fait y arriver en travaillant avec le cours de Prolog à côté

[Trap D]

Peux-tu donner un peu plus de détails et ce que tu as écrit.
La bibliothèque clpfd me semble être faite pour ça, mais il faut des détails ...

[gorgonite]

attention tu seras peut-être obligé d'utiliser une bib pour les domaines finis suivant la complexité du problème... ce qui peut fortement ralentir la résolution

[alexglvr]

Merci de vos réponses!

j'ai commencé à lire les cours... Mais ce n'est pas simple.
Demain j'installe swi-prolog et je vais essayé de faire le début du programme en utilisant les exemples du site.

Voici un exemple concret du problème:

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

- 2,3 ou 4 de ces variables appartiennent à [1,2,3,4,5,6,7,8,12,15,17,18,20]
- 2,3,ou 4 de ces variables appartiennent à [1,2,3,4,5,6,8,12,15,17,18,20]
- 1,2,3 ou 4 de ces variables appartiennent à [1,2,3,4,6,8,12,15,17,18]
- 0,1 ou 2 de ces variables appartiennent à [1,2,3,4,6,8,15,17,18]
- ...

Quels Combinaisons répondent à ces critères?

NB: Les contraintes changent pour chaque études, mais reste de la même forme...

Tout le début ne semble pas poser problème. Mais comment définir ce type de contraintes?

Alex

[alexglvr]

Swi-prolog installé et j'ai testé quelques exemples présents dans les cours. Tout fonctionne.

J'ai lu plusieurs des cours, mais des choses restent incomprises...

Je vais essayé de comprendre...

Alex