Решил задачу о размещении статей на конференции с помощью ECLiPSe. Цель такова: похожие статьи должны быть на одних и тех же сессиях. Это решение, которое работает в ECLiPSe: :- lib(fd). paper(1, 'An Empirical Study on Using Stereotypes to...

Я пытаюсь написать решатель Shikaku в EclipsE Prolog. Мои ограничения определяются следующим образом: solve(Problemname):- writeln("Start shikaku."), problem(Problemname, Width, Height, Hints), shikaku(Width, Height, Hints). shikaku(Width,...