predicados - logica de primer orden prolog - edu.lat