Или можно ли привязать переменную ограничения к другой переменной (см. Пример ниже)? ?-...

У меня есть несколько предложений, где голова представляет имена и значения набора переменных в...

У меня есть: :-use_module(library(clpr)). comp(X, Y, Z):- {X = Y * Z, Y = Z, Y > 0, Z > 0}....

Я использую Пролог для решения простых геометрических уравнений. Например, я могу определить все...