/*
  fibonacci(N,R)

  Predicado que comprueba si R es el N-ésimo número Fibonacci

  Argumentos
  + N:
    - Significado: número
    - Tipo: entrada
  + R: 
	- Significado: número
    - Tipo: entrada y salida

  Variables locales
   + N1:
    - Significado: número
   + N2:
    - Significado: número
*/


fibonacci(0,1).
fibonacci(1,1).

fibonacci(N,R):-
	N1 is N-1,
	N2 is N-2,
	fibonacci(N1,R1),
	fibonacci(N2,R2),
	R is R1 + R2.
