ModLogic: Un traductor de predicados tipo Prolog a una base de datos relacional, e intérprete de consultas con plantillas diseñadas con SQL

La programación lógica es importante en el desarrollo de sistemas del área de Inteligencia Artificial, y uno de los lenguajes más eficientes y utilizado en este paradigma es Prolog. Algunos compiladores de este tipo de programación hacen uso de la funcionalidad del lenguaje lógico para bases de datos deductivas y logran la implementación de consultas recursivas sobre bases de datos relacionales, sin embargo, presentan problemas de compatibilidad al momento de
reutilizar el código diseñado en aplicaciones desarrolladas con otro tipo de compiladores, ya que las librerías dinámicas generadas por los mismos, incluyen operaciones básicas para almacenamiento y recuperación de información de bases de datos pero no tienen funciones que permitan construir e identificar predicados tipo Prolog en forma directa de la base de datos, encontrándonos con restricciones para diseñar y desarrollar objetos de sistemas de software que utilizan módulos lógicos independientes. Para resolver este problema, se ha desarrollado un módulo lógico (Mod-Logic) que traduce predicados tipo Prolog a una base de datos relacional, y los interpreta a través de consultas diseñadas con SQL, y una interfaz gráfica para introducir y recuperar información sin necesidad de que el usuario sea experto en programación lógica.