/*
  reinado(Persona,A,B)

  Predicado que comprueba si una Persona reinó en España entre los años A y B

  Argumentos
  + Persona:
    - Significado: nombre de una persona
    - Tipo: entrada y salida
  + A: 
    - Significado: número natural
    - Tipo: entrada y salida
  + B: 
    - Significado: número natural
    - Tipo: entrada y salida
*/

reinado('Carlos II',1665,1700).
reinado('Felipe V',1700,1724).
reinado('Luis I',1724,1724).
reinado('Felipe V',1724,1746).


/*
  rige(Persona,N)

  Predicado que comprueba si una Persona reinó en España en el año N

  Argumentos
  + Persona:
    - Significado: nombre de una persona
    - Tipo: entrada y salida
  + N: 
    - Significado: número natural
    - Tipo: entrada 

  Variable local
  + A:
    - Significado: número natural
*/

rige(Persona,N):-
	reinado(Persona,A,B),
	A =< N,
	N =< B.
