Bonjour j'utilise la librairie clpq (rationnels sous eclipse, et je cherche a réaliser :
ContrainteX => ContrainteY
ce afin qu' au moment ou la contrainteX est vrai il execute la contrainteY

je sais que cela est possible avec la librairie fd( mais je ne peut melanger clpq et fd), et l'implication de la librairie suspend ne marche qu'avec des exdpressions booleenes et non des contraintes !
Quelqu'un saurait il comment m'en sortir ????

Merci

Sernin

Bonjour,
je me sers de eclipse pour de la programmtion par contrainte et j'ai remarqué que la propagation des contraintes ne se faisait pas pour les contraintes linéaires du style A #=B+C avec la librairie Fd, un exemple :

[A,B,C,D] ::0..10,  A+B+C+D#=10,S#=B+C,A#=0,D#=0, dom(S,Dom)



A = 0

B = B{[0..10]}

C = C{[0..10]}

D = 0

S = S{[0..20]}

Dom = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, ...]
 (…)

Bonjour, j'ai concu un petit programme prolog, et une petite interface avec tcl/tk, comment fait ton pour les liers, et pour executer un prog avec les 2 qui tourne ???

merci

sernin

bonjour, je dois interfacer prolog avec tcl/tk, ce juste faire un affichage d'un tableau, avec une interaction posssible avec l'utilisateur.
le probleme est que je n'ai jamais concu d'interface graphique, et que je me perd dans les docs de tcl/tk ! connaitriez vous des sites ou autres ou je pourrai trouver des scripts pouvant bien m'aider ???


merci


sernin

bonjour,
je dois interfacer un programme prolog eclipse avec Tcl/Tk afin de permettre une meilleure visualisation des résulatts des requetes par les futurs utilisateurs. Quelqu'un pourrait il m'expliquer comment commencer ? je ne connais absolument rien en tcl/tk !

merci

sernin

Bonjour,
je suis stagiaire en programmation par contraintes et
je cherche à forcer à 0 certaines cases d'un tableau, pour chaque ligne, de la 1ère à la R ieme case.
voici ce que j'ai écris mais cela ne marche pas, pourriez vous m'aider ????

datesdeb(M):-

listactivite(L),

dim(M,[Nbl,_]),

(foreach(A,L),for(I,1,Nbl),param(M) do

	(activite(A,_,R,_),R2 is R-1,(for(J,1,R2),param(M,I) do(S is M[I,J],S#=0)))). 


M est le tableau final, L est une liste d'activité, R est la date de début de lactivité, dc toutes les cases de cette ligne (…)

Bonjour,
j'utilise actuellement Eclipse, language différent du prolog que j'ai apris, et je voudrai sélectionner dans un tableau des parties de lignes,
que la premiere partie soit nulle, puis une seconde partie, puis une troisieme partie qui sera nulle aussi !
comment puis- je faire ?

ex : ligne = 0 0 0 0 0 2 4 2 6 2 0 2 4 0 6 0 0 0 0 0 0 0 0

merci

Sernin


note : j'ai réussi a (…)