标签： constraint-programming logic-programming clp constraint-handling-rules
我是CHR的新手，我想知道在规则中具有函数作为约束 heads 的参数是否有意义。我知道在规则的 body 中这是可能的。
例如C(X-Y)在这里合法吗？
C(X-Y)
C(X), C(X-Y), C(Y) => C(X * Y)