Skip to main content

Questions tagged [constraint-handling-rules]

Filter by
Sorted by
Tagged with
1 vote
0 answers

Do forward chaining (Rete) business rules (Drools, ILOG) / production rules support higher order rules and compositionality?

There is this talk about higher order Prolog, about use of higher-order predicates (that takes other predicates as arguments) and compositionality of ...
TomR's user avatar
  • 1,401
1 vote
0 answers

Constraint headers format in CHR

I'm new to CHR and I was wondering if it makes sense to have have functions as arguments for constraint heads in a rule. I know that in the body of the rule this is possible. E.g. Is ...
jack malkovick's user avatar
0 votes
0 answers

Channeling Constraints in Constraint Handling Rules (CHR)

Suppose we have a constraint satisfaction problem that can be defined as its constraints in two different viewpoints $V_1$ and $V_2$. Moreover, there are two variables $A$ and $B$ from $V_1$ and $V_2$ ...
OmG's user avatar
  • 3,572