implementacion de un pequeño sistema en prolog conectado con android