Существует ли библиотека clpfd в YAP Prolog, эквивалентная библиотеке в SWI-Prolog?

Я написал этот код в SWI-Prolog, используя clpfd модуль, но при портировании на YAP я обнаружил, что 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 как-то импортировано без ошибок.

0 ответов

Другие вопросы по тегам