prolog ejercicios resueltos