predicates

gcd(integer,integer,integer)

clauses
gcd(A,A,A).
gcd(A,B,G):-

A>B,
N = A-B,
gcd(N,B,G).

gcd(A,B,G):-
A<B,
N = B-A,
gcd(A,N,G).



/*output is given below...in case u dont have a prolog compiler 
to compile the above code*/

Goal  :  gcd(4,8,Gcd)
Gcd=4
1 Solution
Goal  :  gcd(24,36,Gcd)
Gcd=12
1 Solution
Goal:
