../../Task/Mutual-recursion/Prolog