-- Aug 25 In-Class Exercise
Scheme
gcd(14, 30), 30 != 0, 14 % 30 = 14
gcd(30, 14), 14 != 0, 30 % 14 = 2
gcd(14, 2), 2 != 0, 14 % 2 = 0
gcd(2, 0) 0 = 0, 2 % 0 = 2
gcd is 2
Prolog
|? - gcd(14, 30, U), fail
gcd(30, 14, U), fail
gcd(14, 2, U), fail
gcd(2, 0, U), fail
|? - gcd(14, 30, X), V = 30 != 0, Y = 14 % 30 = 14
gcd(30, 14, X), V = 14 != 0, Y = 30 % 14 = 2
gcd(14, 2, X), V = 2 != 0, Y = 14 % 2 = 0
gcd(2, 0, X), V = 0 == 0, Y = 2 % 0 = 2
gcd is 2
Scheme
gcd(14, 30), 30 != 0, 14 % 30 = 14
gcd(30, 14), 14 != 0, 30 % 14 = 2
gcd(14, 2), 2 != 0, 14 % 2 = 0
gcd(2, 0) 0 = 0, 2 % 0 = 2
gcd is 2
Prolog
|? - gcd(14, 30, U), fail
gcd(30, 14, U), fail
gcd(14, 2, U), fail
gcd(2, 0, U), fail
|? - gcd(14, 30, X), V = 30 != 0, Y = 14 % 30 = 14
gcd(30, 14, X), V = 14 != 0, Y = 30 % 14 = 2
gcd(14, 2, X), V = 2 != 0, Y = 14 % 2 = 0
gcd(2, 0, X), V = 0 == 0, Y = 2 % 0 = 2
gcd is 2