Display program code

leq.pl : Less-equal handler
Simple constraint solver for less-equal constraints between variables.

How to use:
A is less-equal than B is written as leq(A,B).

Program: Change the code, then submit!

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

Select example query: 

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