Я новичок в CHR, и мне было интересно, имеет ли смысл иметь функции в качестве аргументов для ограничения head в правиле.Я знаю, что в теле правила это возможно.
Например, допустимо ли здесь C(X-Y)? 1008
C(X-Y)
C(X), C(X-Y), C(Y) => C(X * Y)