PROLOG Program to Find LCM of Two Numbers

predicates
lcm(integer, integer, integer)
clauses
lcm(M, N, Result)if
gcd(M, N, Res),
Result=M*N/Res.