Prolog es un lenguaje de programación lógico centrado en la inteligencia artificial y la lingüística computacional. Su diseño se basa en la lógica de primer orden, lo que permite expresar la lógica del programa en términos de relaciones, representadas como hechos y reglas. Este enfoque declarativo facilita el inicio de cálculos mediante la ejecución de consultas sobre estas relaciones. Con diversas implementaciones disponibles, Prolog se ha mantenido como uno de los lenguajes de programación lógico más populares, utilizado en áreas como la demostración de teoremas, sistemas expertos y procesamiento del lenguaje natural.

Además, los entornos modernos de Prolog permiten la creación de interfaces gráficas de usuario y aplicaciones administrativas y en red. Está diseñado para atender a una amplia audiencia, incluyendo negocios de tamaño medio y pequeño, organizaciones sin fines de lucro, y startups. Prolog también ofrece integraciones con múltiples lenguajes de programación y proporciona soporte a través de teléfono y en línea, junto con documentación como forma de capacitación.