/*
  longitud(L,N).

  Predicado que comprueba N es la longitud de la lista L 

  Argumentos
  + L:
    - Significado: lista de elementos
    - Tipo: entrada

  + N:
    - Significado: número natural
    - Tipo: entrada y salida

  Variables locales
  + Cola:
    - Significado: lista de elementos
  + M:
    - Significado: número natural
*/

longitud([],0).

longitud([_|Cola],N):-
		longitud(Cola,M),
		N is M + 1.
