Principio de Induccion

Numeros Naturales
Numero Natural- Principio de inducción
1. p es cierto para el primer elemento
2. Para todo elemento > que el primero, Si N-1 es natural, entonces N
también lo será

Nota en prolog la implicación a -> b (a implica b) se escribe asi

b:-a.
la implicación a ^ b -> c se escribe:
c:-a,b.
Natural
Caso base:
natural (1).
Caso recursivo
natural(N):- N>1, N2 is N-1 , natural(N2).

Ejemplo
natural(5).