../../Task/Multisplit/Prolog