../../Task/Parametric-polymorphism/Prolog