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