Display program code

successor_add.pl : Add numbers in successor notation
Handler to finds solutions for addition constraints over numbers in successor notation.

How to use:
The constraint add(X,Y,Z) means X+Y=Z.
X, Y and Z may be variables or numbers in successor notation (i.e., 0,1,2 are represented as 0, s(0), s(s(0)), etc).
The constraint is checked for validity and variables values are inferred.

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