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