Display program code

var_order.pl : Stable variable order
Define a stable order on variables (Term/Var order changes under put_atts, delay, etc.) as long as variables are not bound to other variables.

How to use:
Similar to compare/3, variables can be compared with
var_compare(Rel,X,Y): compare vars X,Y using relation R (<,=,>)
Before comparing them, variables need to be globalized with
globalize(T): globalize all variables in term T

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