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