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

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

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

У меня есть несколько предложений, в которых голова представляет имена и значения набора переменных в линейном уравнении, а тело — фактическое уравнение. Вот так: :-use_module(library(clpr)). relation( independents([...