:- use_module(library(clpfd)). % load constraint library
% [constraint] Compute a list of distinct odd numbers (if one exists), such that their sum is equal to a given number.
odd(Num) :- Num mod
Этот код является частью программы, которую я пишу, чтобы решить криптографическую головоломку в прологе. Я решаю это с помощью CLPFD (SICStus Prolog). Я получаю сообщение об ошибке при использовании
Я просмотрел здесь как можно лучше, и хотя я нашел некоторые важные вопросы, я не думаю, что они охватывали вопрос под рукой: Предположим, один ресурс и известный список запросов для планирования зада
У меня очень странная проблема с PROLOG. Я использовал его раньше, но прошло некоторое время, и я ржавый. У меня есть список переменных, и мне нужно убедиться, что ни один из них не является одним и т