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)))
?
az FDBG pedig még ennyit sem:
% advice
| ?- max_lt([X,Y,U],Z).
no
Mit csinálok rosszul?
Makrai Marci