Совсем недавно я начал экспериментировать с таблицами в Прологе; некоторые эксперименты, которые я провел с b-prolog и xsb можно найти в этом вопросе . Столы становились все больше и больше, и я понял, что мне нужно найти некоторые...

Я пытаюсь реализовать ограничение лексикографического упорядочения в BProlog, используя его CLP (FD). Насколько я вижу из руководства, BProlog не предоставляет встроенных ограничений lexLeq (хотя существуют эффективные алгоритмы распространения...

Я пытаюсь сделать игру, похожую на тральщик, и мне нужно проверить соседей квадрата на карте, но я получаю синтаксическую ошибку в моем цикле for, я использую SWI-Prolog checkneighbours(X,Y) :- retractall(vecini(_)), assert(vecini(0)), foreach(I...