enOrden(L)

/*
Defina las reglas para el predicado enOrden(L), que evalúa si cada término de las duplas de la lista están ordenadas en forma creciente (verdad) o no (falso). Por ejemplo:
?- enOrden([par(3,4)]).     => yes
?- enOrden([]).         => no
?- enOrden([par(3,4),par(6,5),par(7,8)]).   => yes
?- enOrden([par(3,4),par(7,5),par(6,8)]).   => no
*/

enOrden( [par(X1,X2), par(Y1,Y2) | _ ] ) :- X1>Y1, X2>Y2, !, fail.
enOrden( [_, D | Q] ):- enOrden( [D | Q] ).