../../Task/Modular-exponentiation/Prolog