Entorno de programación en Prolog