% gcd.lmn
% 		2008.09.10 gocho


n(12), n(9), n(15), n(21), n(99), n(111), n(300).

gcd0@@  n(X), n(Y) 	:- X >= Y	| gcd(X,Y).
gcd1@@  gcd(X,Y)	:- (X mod Y)=\=0,	Y2= X mod Y	| gcd(Y,Y2).		
gcd2@@	gcd(X,Y)  :- (X mod Y)=:=0 | n(Y).