Universidades Ejemplo de Prolog con: Hechos y Reglas Inversibilidad Artimética Negación Cuantificación universal