Domains
	N,elemi=integer
	lis_elemi=integer*
	elems=symbol
	lis_elems=symbol*
Predicates
	enes(lis_elemi,N,elemi)
	enes(lis_elems,N,elems)
	ulti(lis_elems,elems)
	ulti(lis_elemi,elemi)
	quint(lis_elems,elems)
	quint(lis_elemi,elemi)
Clauses
	enes([_],N,_):-N<=0,write("¨A qu‚ estamos jugando?"),nl,!.
	enes([],_,_):-write("No hay tantos elementos"),nl,!.
	enes([A|_],1,X):-X=A,!.
	enes([_|B],N,X):-M=N-1,enes(B,M,X).
	
	ulti([],_):-write("¨A qu‚ estamos jugando?"),nl,!.
	ulti([A|[]],X):-X=A,!.
	ulti([_|B],X):-ulti(B,X).
	
	quint(A,X):-enes(A,5,X).

/*
Corrige el error 708 de T1p2.pro , para programas posteriores , estos deben trabajar 
sin ningun error.

*/

    Source: geocities.com/v.iniestra/apuntes/pro_log

               ( geocities.com/v.iniestra/apuntes)                   ( geocities.com/v.iniestra)