../../Task/Amb/Prolog