Help for this page

Select Code to Download

Select or download this

different_lists(X, Y) :- vdiffer(X, Y).
list_sequence(X) :- lex_chain(X, [op(#<)]).