../../Task/ABC-problem/Prolog