Display program code

lexicographic.pl : Lexicographic order
Confluent, efficient and complete handler for Lexicographic order constraints for lists of atoms.

How to use:
For two ground lists A and B, A lex B indicates that A is lexicographically smaller than 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