Igen, azert betolteskor akad ki, mert utolso sor meghivja olyan parameterekkel amivel kiakad
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. (?)PT2012/12/17 NGG <ngg@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@sziami.cs.bme.hu
http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l