/* 
 * pertenece comprueba si X pertenece a la lista
 * puede generar más de una solución utilizando el operador punto y coma ";"
 *
 */

pertenece(X,[X|_]).
pertenece(X,[_|Cola]):- pertenece(X,Cola).


/* 
 * pertenece_bis comprueba si X pertenece a la lista
 * sólo genera un única solución
 *
 */
pertenece_bis(X,[X|_]):-!.
pertenece_bis(X,[_|Cola]):- pertenece_bis(X,Cola).