../../Task/Polymorphism/Prolog