en fait j'ai créé un programme d'ordonnencement d'activité qui pour les cas ou il existe une solution. mon probleme est que lorsqu'il n'y a pas de solution, le programme backtrack indéfiniment; au lieu de répondre No tout de suite.
j'ai en effet concu une stratégie d'instanciation qui commence par les valeurs max du domaine de chaque variable
%***********************************************************%
% instanciation des variables : on choisit en priorite la %
%valeur max du domaine, de façon à caler les activites au %
%plus tot %
%**********************************************************%
[^] # Re: Propagation en FD
Posté par Sernin . En réponse au message Propagation de contrainte en prolog sous ECLIPSe. Évalué à 1.
j'ai en effet concu une stratégie d'instanciation qui commence par les valeurs max du domaine de chaque variable
%***********************************************************%
% instanciation des variables : on choisit en priorite la %
%valeur max du domaine, de façon à caler les activites au %
%plus tot %
%**********************************************************%
instancier([]).
instancier(L):-
deleteff(X,L,Xs),
indomain(X,max),
instancier(Xs).
pour la librairie fd, si on la remplace, deleteff ne fonctionnera plus, et surement la même chose pour quelques autre fonctions dans mon programme
toutefois je te remerci beaucoup de ta rapidité, tu m'as bleuffé !