/*
  max(A,B,M)

  Predicado que comprueba si M es el máximo común divisor de A e B usando el algoritmo de Euclides

  Argumentos
  + A:
    - Significado: número entero
    - Tipo: entrada
  + B:
    - Significado: número entero
    - Tipo: entrada
  + M: 
    - Significado: número entero
    - Tipo: entrada y salida

  Variable local
  + A1:
    - Significado: número entero
    - Tipo: entrada
*/


mcd(A,0,A).

mcd(A,B,M):-
	A1 is A mod B,
	mcd(B,A1,M).


