../../Task/Stack/Prolog