../../Task/Substring/Prolog