Я пытаюсь выяснить, что такое распространение границ в clpfd, но, похоже, не может найти хорошего объяснения нигде. Я пересматриваю для Prolog и clpfd и наткнулся на этот вопрос, но, глядя на лекции,
Я пытаюсь написать решение Shikaku в EclipsE Prolog. Мои контрсилами определяются следующим образом: solve(Problemname):-
writeln("Start shikaku."),
problem(Problemname, Width, Height, Hints),
shik
Мой профессор дал this в качестве примера Пролога. Это программа, которая решает головоломку Tower of Hanoi, где вам нужно переместить стопку дисков в другую привязку, перемещая один диск за другой, н