Ejemplos vistos en la Exposiciones Teóricas de Prolog