../../Task/Factorial/Prolog