Makrai Márton <makraimarton(a)gmail.com> writes:
Sziasztok!
sicstuc-ban próbálom nyomkövetni a 4. kisházimat, de nem ír ki semmi
érdemit. Az alapértelmezett nyomkövetõ csak azt írja, hogy
1 1 Call: max_lt([_994,_1014,_1034],_1059) ?
2 2 Call: doms([_994,_1014,_1034],_1729) ? s
2 2 Exit:
doms([_994,_1014,_1034],[dom(_994),dom(_1014),dom(_1034)]) ?
3 2 Call:
fd_global(user:max_lt([_994,_1014,_1034],_1059),void,[dom(_994),dom(_1014),dom(_1034)])
?
4 3 Fail:
clpfd:dispatch_global_fast(max_lt([_3643,_3677,_3711],_1059),void,_3720,_3721,global('$mutable'(void,0),max_lt([_3643,_3677,_3711],_1059),'$mutable'(11,0),_3612,user:max_lt([_3643,_3677,_3711],_1059)))
?
Kiprobaltam, a sima nyomkovetesben latszik amikor a clpfd:dispatch_global
torzseben meghivok egy Prolog eljarast. Tehat elso tanacsom: fogadd meg a
foliakon is javasolt modszert: a dispatch_global torzse egyetlen hivas
legyen.
Ha meg igy sem latsz semmit, akkor valoszinuleg a dispatch_global
parameterezeset rontottad el, ezert mar a fejillesztes meghiusul.
-Peter