Igen, azert betolteskor akad ki, mert utolso sor meghivja olyan
parameterekkel amivel kiakad
2012. december 17. 12:18 Peregi Tamás írta, <petamas(a)gmail.com>om>:
A kódot nem olvastam el, de a PNP-n (SICStus 4.2.1
(x86-linux-glibc2.5))
is kiakad már betöltéskor. (?)
PT
2012/12/17 NGG <ngg(a)ngg.hu>
:- use_module(library(clpfd)).
globcons(X, Y) :-
fd_global(globcons(X, Y), [], [minmax(X), minmax(Y), val(Y)]).
:- multifile clpfd:dispatch_global/4.
:- discontiguous clpfd:dispatch_global/4.
clpfd:dispatch_global(globcons(X, Y), [], [], A) :-
( nonvar(Y) ->
A = [call(domain([X], inf, Y)), exit]
;
A = []
).
:- globcons(_, Y), Y = 5.
_______________________________________________
NHLP-l mailing list
NHLP-l(a)sziami.cs.bme.hu
http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l