prolog - predicado de "soluciones" de orden superior - edu.lat