Obligatorio 2 paradigmas - programacion logica