Prolog - Mínimo común multiplo

Hola, alguien sabe como hacer en prolog para poder calcular el mínimo común multiplo entre dos números, les agradezco mucho. Marcos

mcm(a,b) = (a*b)/MCD(a,b)
MCD(a,b) = a > b, MCD(b,a)
MCD(a,0) = a
MCD(a,b) = MCD(b,a div b)

mcm(a,b) = (a*b)/MCD(a,b)
MCD(a,b) = a > b, MCD(b,a)
MCD(a,0) = a
MCD(a,b) = MCD(b,a div b)

No estoy seguro si es el div o el mod....... creo que es el mod

les agradesco por ayudar a los demas gracias

mcm (a,b,c) :- MCD(a,b,f), c = a*b/f
MCD(a,0,a)
MCD(a,b,c) = a>b,MCD(b,a,c),!
MCD(a,b,c) = MCD(b, a mod b, c)

Disculpa la locura anterior jejeejjee

Buenas tardes me puede decir cual es el m.c.m. de 25 y 56
Aplicar propiedad distributiva de.
-2x(3+5a-3b+x)
-2x(-3+5a+3b+x)
y Agrupar en términos semejantes:
5a+3b-8c+a-b+2a+3c+5a-2b+4c
5a-3b-8c+a-b-2a+3c+5a-2b+4c

mucho sabre agradecerle po la respuesta