../../Task/Function-composition/Prolog