"Viktor Müller" <ivory1985(a)hotmail.com> writes:
Szervusztok!
Köszönöm Tanár Úr a segítségét, a probléma megoldódott explicite kérni
kellett az sftp klienst, hogy text módban töltse fel a fájlt.
A 4. kis házimban valamilyen számomra rejtélyes okból nem ad át
paramétereket a dispatch_global. Pontosabban átadja õket, de minden változó
még a behelyettesítettek is inf..sup értéket kapnak.
fd_global(max_lt(L,Z),L,EL).
clpfd: dispatch_global(max_lt(_,Z),L0,L,Actions) :-
fd_min(Z,MINZ),
fd_max(Z,MAXZ),
Ezeke az idevágó kódrészletek, itt MINZ, MAXZ inf, sup, pedig Z#=6-tal van
hívva a korlát.
2 Call: fd_global(user:max_lt([_516],_541),[_516],[max(_541),min(_516)]) ?
6 4 Call: fd_min(_3976,_4079) ?
6 4 Exit: fd_min(_3976,inf) ?
7 4 Call: fd_max(_3976,_4978) ?
7 4 Exit: fd_max(_3976,sup) ?
A debuggerrel jól látszik, hogy _516 (Z) nem egyezik meg _3976-tal.
A valtozok belso nevei FD-valtozok (vagy freeze-es valtozok) eseten nem
feltetlenul maradnak ugyanazok a futas soran. Nem lehet, hogy az fd_global
hivasa elotti kodban van a baj?
Ha maskent nem megy, kuldd el a teljes kodot es egy futasi szkriptet.
-Peter