/*
 * ej-01d.pl
 */
subsec([X|_],[X]).

subsec([X|Xs], [X|Ys]) :-	/* un elemento estará en la   */
	subsec(Xs,Ys),			/* subsecuencia ssi es menor  */
	minimo(Ys,Ymin),		/* a todos los que siguen     */
	X < Ymin.

subsec([_|Xs], Y) :-    /* si elimino el primer elemento, */
    subsec(Xs,Y).       /* puedo armar una subsecuencia   */
	                        /* creciente con el resto         */

/* EOF ej-01d.pl */