Constraint Handling Rules
ユークリッドの互除法を用いて最大公約数を求めるプログラムの例を示す。