/*
  max1(X,Y,R)

  Predicado que comprueba si R es el máximo de X e Y

  Argumentos
  + X:
    - Significado: número
    - Tipo: entrada
  + Y:
    - Significado: número
    - Tipo: entrada
  + R: 
	- Significado: número
    - Tipo: entrada y salida
*/


max1(X,Y,R):- X >= Y, R is X.

max1(X,Y,R):- X < Y, R is Y. 


/***************************************************************/
/*
  max2(X,Y,R)

  Predicado que comprueba si R es el máximo de X e Y

  Argumentos
  + X:
    - Significado: número
    - Tipo: entrada
  + Y:
    - Significado: número
    - Tipo: entrada
  + R: 
	- Significado: número
    - Tipo: entrada y salida
*/


max2(X,Y,X):- X >= Y.

max2(X,Y,Y):- X < Y.

/***************************************************************/
/*
  max3(X,Y,R)

  Predicado que comprueba si R es el máximo de X e Y

  Argumentos
  + X:
    - Significado: número
    - Tipo: entrada
  + Y:
    - Significado: número
    - Tipo: entrada
  + R: 
	- Significado: número
    - Tipo: entrada y salida
*/


max3(X,Y,X):- X >= Y.

max3(_,Y,Y).
