/prolog/problems/clp_fd/gcd_3/