ejemplos de prolog