Find GCD & LCM - Artificial Intelligence Lab file

AIM: Find GCD & LCM

domains

 num,result=integer

predicates

 lcm(num,num)

 lcm(num,num,result)

 gcd(num,num)

 gcd(num,num,result)

clauses

 lcm(X1,X2):-

 lcm(X1,X2,Y),write(Y),nl. lcm(X1,X2,Y):-

 gcd(X1,X2,Y1),Y=X1*X2/Y1. gcd(X1,X2):-

 gcd(X1,X2,Y),write(Y),nl.

 gcd(X1,0,Y):-

 Y=X1.

 gcd(X1,X2,Y):-

 X1=X2,Y=X2.

 gcd(X1,X2,Y):-

 X1<X2,gcd(X2,X1,Y).

 gcd(X1,X2,Y):-

 X3=X1 mod X2, gcd(X2,X3,Y).

Output: