I wrote this code in SWI-Prolog using the clpfd module but when porting to YAP I found that the cumulative/2 predicate is unavailable according to the error message given in the shell. So, I tried to look online for clpfd documentation but found almost nothing.
> EXISTENCE ERROR- procedure cumulative/2 is undefined, called from
> context prolog:$command/4
> Goal was user:cumulative([task(_D543,5,_D539,6,_131120),task(_D535,5,_D531,6,_131128),task(_D527,6,_D523,8,_131136),task(_D519,10,_D515,4,_131144),task(_D511,3,_D507,5,_131152),task(_D503,5,_D499,5,_131160),task(_D495,4,_D491,5,_131168),task(_D487,1,_D483,7,_131176)],[limit(15)])
The module clpfd somehow imported without error.