[NHLP-l] khf4

Sziasztok, azt szeretnem kerdezni, hogy a khf4 bekuldott megoldasaban miert van szukseg a clpfd explicit betoltesere: :- use_module(library(clpfd)). Hiszen a clpfd betoltese nelkul mar a tesztkornyezetben szereplo step_up/2 sem volna lefordithato. Es ha a bekuldott program explicit nem tolti be a clpfd-t, akkor futasidoben a lenti Existence error-t adja a tesztkornyezet, amibol kovetkezoen a step_up/2 mar sikeresen lefordult, ergo benn van a clpfd. % loading +/home/pp/dp/dp-shw/homeworks/04a/recent/nlp4/MartonJozsefErVZQIXX/nlp4-eval.ql. +.. Test case user:globtest(domain([X,Y,Z],0,9),max_lt([X,Y],Z),true,Res) failed due +to ! Existence error in '$module_being_tested':fd_global/3 ! procedure '$module_being_tested':fd_global/3 does not exist ! goal: +'$module_being_tested':fd_global(max_lt(_7138,_7134),[_7099,_7064],[az eloallitott szuszpenzios lista]) Udv.: Jozsi