/*
 * ej-01c.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([X|Xs], Ys) :-
	subsec(Xs,Ys),
	minimo(Ys,Ymin),
	X >= Ymin.

/* EOF ej-01c.pl */