prolog - superiores - Formulación del axioma del efecto