domains
	int=integer
predicates
	gcd(int,int,int)
	lcm(int,int,int)
clauses		   
	gcd(X,0,X):-!.
	gcd(X,_,0):-X<0,!,write("X<0 is wrong").
	gcd(_,Y,0):-Y<0,!,write("Y<0 is wrong").
	gcd(X,Y,Z):-R=X mod Y,gcd(Y,R,Z).
	lcm(X,Y,Z):-gcd(X,Y,R),Z=X*Y/R.
goal
	write("Input the X and Y:"),nl,
	write("X= "),readint(X),nl,
	write("Y= "),readint(Y),nl,
	gcd(X,Y,R),write(R),nl,
	lcm(X,Y,L),write(L).