Display program code

autogen_boolean.pl : Auto-generated boolean handler
Automatically generated boolean handler for and, or, neg and xor.

How to use:
The following constraints are handled:
and(A,B,C) logical conjunction
or(A,B,C) logical disjunction
neg(A,B) logical negation
xor(A,B,C) logical exclusive-or

See also:
S Abdennadher, C Rigotti. Automatic generation of CHR constraint solvers. Theory and Practice of Logic Programming, 2005.

Program: Change the code, then submit!

Console: Enter query or select example from below, then submit and wait for answer!

Select example query: 

WebCHR help - CHR Website - (c) Copyrights Martin Kaeser Uni Ulm 2007