Discussion :

[Siali]

Bonjour tout le monde et particulièrement à pcaboche qui est le seul actuellement à supporter le langage Prolog en français sur le web.

Je suis informaticien et je débute sur Prolog. Je sais que pcaboche n'a pas encore eu le temps d'aborder la programmation par contraintes et on espère que ça se fera le plus tôt possible.

Néanmoins, j'ai un problème urgent au sujet des contraintes sur les contraintes. Mon problème peut être résolu (je pense) avec fd_cardinality de GNU-prolog, mais je ne trouve pas l'équivalent sur swi-prolog.

Voilà mon problème : j'ai une liste de contraintes sur une liste de variables libres et je veux limiter le nombre de contraintes à satisfaire. Par exemple, j'ai 10 contraintes et je veux satisfaire uniquement 8 parmi les 10 contraintes. Je crois que CHR de swi-prolog peut faire quelque chose mais je n'ai pas trouvé un tuto en français.

Merci d'avance à tout le monde
Siali.

[gorgonite]

sinon "l'algorithme" de cardinalité est facile à refaire...

un truc du style

Code :

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

1
2
3
4
5
6
7
8
mycard([],0).
mycard([],_) :- fail.
mycard([X|L],N) :- 
  call(X),
  !,
  N1 is N-1,
  mycard(L,N1).
mycard([X|L],N) :- mycard(L,N).

en revanche, je suis plus (en raison de mes profs) sur gnu-prolog que sur swi-prolog

[pcaboche]

Bonjour tout le monde et particulièrement a pcaboche qui est le seul actuellement a supporter le language prolog en francais sur le web.

Merci. Je ne suis pas le seul à proposer des articles en Français à propos de Prolog. J'ai juste apporté ma petite pierre à l'édifice en publiant ce que je connais du langage Prolog (pour que cela serve aux autres car quand j'étais étudiant, j'ai vraiment galéré pour apprendre ce langage).

je sais que pcaboche n'a pas encore eu le temps d'aborder la programmation par contraintes et on espère que ca se fera le plustot possible.

Malheureusement, je vais avoir de moins en moins de temps à consacrer à Prolog. J'avais profité d'une longue période de chômage pour écrire mes articles, mais maintenant j'ai d'autres préoccupations.

voila mon problème: j'ai une liste de contraintes sur une liste de variables libres et je veux limiter le nombre de contraintes à satisfaire. par exemple j'ai 10 contraintes et je veux satisfaire uniquement 8 parmi les 10 contraintes.

Je n'ai pas de solution toute prête pour ton problème. Une idée (un peu naïve) pourrait être d'écrire un prédicat qui sélectionne 8 contraintes parmi les 10 et essaye de les satisfaire (un peu comme ce que propose gorgonite, avec quelques corrections).

je n'ai pas trouvé un tuto en francais.

L'anglais te pose problème ?

[gorgonite]

si l'anglais ne te dérange pas...
http://contraintes.inria.fr/~soliman/publi/clp1-2.pdf
page 57, un exemple sur le domaine des booléens


sinon, tu peux lire le reste...
et aussi http://contraintes.inria.fr/~fages/Teaching/


voire leur écrire des mails (même en français)

[Siali]

Merci infiniment a vous, gargonite et pcaboche.

Je vais essayer de refaire le programme de cardinalité conformément à votre suggestion. et merci également pour les sites. Concernant la langue anglaise, je me débrouille un peu ( je sais que c'est nécessaire), mais je préfère de loin le français.

Des que j'aurais résolu le problème, je me ferais un plaisir de communiquer la réponse détaillée sur ce forum. Ca servira peut être a d'autres amoureux de prolog de résoudre leur problème.

Encore merci pour votre aide précieuse.