\[A,B]:-A>B.
\[A,B|C]:-A>B,\[B|C].
m:-between(10,9876,X),name(X,Y),\Y,\+writeln(X).