[eclipse-clp-users] Error using ic-symbolic and ic

From: Meriem Djefel <Meriem.DJEFEL_at_...178...>
Date: Fri, 05 Feb 2010 10:24:47 +0100
Hi everybody,
When I try to execute the program below, I have this error "out of range 
in infers out of range in infers(VitessMaxi $= .....)". I do not 
understand Why. Can you help me to correct my program.
Thanks
---------------------------------------
:-lib(ic).
:-lib(propia).
:-lib(lists).
:-lib(ic_symbolic).
:-export
     avionTourismeSym/5.
%    avionTourisme/1.
:-local domain(moteur(un_Mot_ECO, un_Mot_BP,un_Mot_HP, deux_Mot_ECO, 
deux_Mot_BP,deux_Mot_HP)).
avionTourismeSym(VitesseMaxi, DistanceVol, NombreMoteurs, NombrePlaces, 
ReservoirSupp):-
%avionTourisme(Vars):-
(
     %
     % les variables: variables réels : vitesseMaxi, DistanceVol
     %         et  variables entières: NombrePlaces, NombreMoteurs.

%    Vars = [VitesseMaxi, DistanceVol, NombreMoteurs, NombrePlaces, 
ReservoirSupp],
      VitesseMaxi $::300.0 .. 600.0,
     ((VitesseMaxi $= 300);(VitesseMaxi $= 350);(VitesseMaxi $= 
400);(VitesseMaxi $= 450);(VitesseMaxi $= 500);(VitesseMaxi $= 
550);(VitesseMaxi $= 600))infers ic,
     DistanceVol #::[400,600, 800,1000, 1100, 1200, 1500],
     NombreMoteurs &:: moteur,
     NombrePlaces #::[3, 4, 6, 8, 10, 12],
     ReservoirSupp #::[100, 200],
     (
         (VitesseMaxi $= 300 , NombreMoteurs &= [un_Mot_ECO]);
         (VitesseMaxi $= 400 , NombreMoteurs &= [un_Mot_ECO]);
         (VitesseMaxi $= 450 , NombreMoteurs &= [un_Mot_ECO]);
         (VitesseMaxi $= 450 , NombreMoteurs &= [deux_Mot_ECO]);
         (VitesseMaxi $= 500 , NombreMoteurs &= [deux_Mot_ECO]);
         (VitesseMaxi $= 550 , NombreMoteurs &= [deux_Mot_ECO]);
         (VitesseMaxi $= 600 , NombreMoteurs &= [deux_Mot_ECO]);
         (VitesseMaxi $= 300 , NombreMoteurs &= [un_Mot_HP]);
         (VitesseMaxi $= 400 , NombreMoteurs &= [un_Mot_HP]);
         (VitesseMaxi $= 450 , NombreMoteurs &= [un_Mot_HP]);
         (VitesseMaxi $= 450 , NombreMoteurs &= [deux_Mot_HP]);
         (VitesseMaxi $= 500 , NombreMoteurs &= [deux_Mot_HP]);
         (VitesseMaxi $= 550 , NombreMoteurs &= [deux_Mot_HP]);
         (VitesseMaxi $= 600 , NombreMoteurs &= [deux_Mot_HP]);
         (VitesseMaxi $= 300 , NombreMoteurs &= [un_Mot_BP]);
         (VitesseMaxi $= 400 , NombreMoteurs &= [un_Mot_BP]);
         (VitesseMaxi $= 450 , NombreMoteurs &= [un_Mot_BP]);
         (VitesseMaxi $= 450 , NombreMoteurs &= [deux_Mot_BP]);
         (VitesseMaxi $= 500 , NombreMoteurs &= [deux_Mot_BP]);
         (VitesseMaxi $= 550 , NombreMoteurs &= [deux_Mot_BP]);
         (VitesseMaxi $= 600 , NombreMoteurs &= [deux_Mot_BP])
     )infers [ic,ic_symbolic]
).
----------------------------------------------------




Received on Fri Feb 05 2010 - 09:25:49 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST