../../Task/Catamorphism/Prolog