ejercicios de prolog