В следующей головоломке мы пытаемся заполнить сетку синими и белыми квадратами таким образом, чтобы: 3 в ряд (или столбец) одного цвета не допускаются. В каждой строке и столбце равное количество синих и белых квадратов. Если мы...

Я очень запутался в том, как CLP работает в Прологе. Мне не только трудно увидеть преимущества (я вижу их в конкретных случаях, но мне трудно их обобщить), но, что более важно, я с трудом могу придумать, как правильно написать рекурсивный предикат....

Я хочу использовать Prolog для генерации случайного вектора, удовлетворяющего системе ограничений. Например, наш пользователь может предоставить нашему программному обеспечению следующую информацию во время выполнения: Учитывая вектор <x1, x2,...

Я использую Пролог для решения простых геометрических уравнений. Например, я могу определить все точки p3 на линии, проходящей через две точки p1 и p2 , как: line((X1, Y1, Z1), (X2, Y2, Z2), T, (X3, Y3, Z3)) :- {(X2 - X1) * T =...

Я немного знаю Пролог и часто использую CLP(FD) и т. д. Эта статья ( написанный в 2006 году, по-видимому) указывает на то, что у Меркьюри теперь тоже есть решение ограничений. Я нашел несколько упоминаний об этом в Справочном руководстве по...

Переменные атрибутов позволяют расширить унификацию. Далее мы поговорим о загадочных деталях интерфейса. Давайте перейдем к делу! В библиотеке sicstus-prolog (atts ) предоставляет предикаты для использования переменных с атрибутами. Думаю, я...