/*
  pertenece(X,L).

  Predicado que comprueba si X pertenece a una lista L

  Argumentos
  + X:
    - Significado: elemento
    - Tipo: entrada y salida
  + L:
    - Significado: lista de elementos
    - Tipo: entrada y salida

  Variables:
  + Cola: 
    - Significado: lista de elementos
*/

pertenece(X,[X|_]).

pertenece(X,[_|Cola]):- pertenece(X,Cola).
