prolog - YAP Prolog 中是否有与 SWI-Prolog 中的 clpfd 库等效的库？

Question

我使用该模块在 SWI-Prolog 中编写了此代码，clpfd但是当移植到 YAP 时，根据 shell 中给出的错误消息，我发现cumulative/2谓词不可用。因此，我尝试在网上查找clpfd文档，但几乎一无所获。

>  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)])

该模块clpfd以某种方式导入而没有错误。