/*
  crear_enteros(N,L)

  Predicado que comprueba si L es una lista compuesta por los números enteros N, N-1, ..., 0

   Argumentos
  + N:
    - Significado: número natural
    - Tipo: entrada y salida
 
  + L:
    - Significado: lista de númeos enteros
    - Tipo: entrada y salida
*/


crear_enteros(0,[0]):-!.

crear_enteros(N,[N|L]):-
   N1 is N-1,
   crear_enteros(N1,L).
