CLP dialect :ISO PrologGNU PrologSicstus PrologOther (file)
Program to type check (below or local file) %% 980202, 980311 Thom Fruehwirth, LMU %% computes greatest common divisor of positive numbers written each as gcd(N) :- use_module( library(chr)). handler gcd. constraints gcd/1. gcd(0) <=> true. %%gcd(N) \ gcd(M) <=> N=<M | L is M-N, gcd(L). gcd(N) \ gcd(M) <=> N=<M | L is M mod N, gcd(L). % faster variant
Optional type declarations (below or local file)