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.