Diseño e implementación de una herramienta para visualizar la ejecución de un programa Prolog

Abstract

[ES] El presente documento presenta el desarrollo de una interfaz Java que, junto con un intérprete Prolog integrado, permite visualizar una explicación de la ejecución de este tipo de programas lógicos. Para utilizar la interfaz, el usuario deberá cargar inicialmente un programa Prolog e introducir la consulta sobre aquello de lo que desee conocer la respuesta. Posteriormente, en caso de que haya alguna solución, el usuario podrá ejecutar acciones para interactuar con la justificación que se le presentará en la interfaz, como cambiar la representación por defecto de los predicados por una representación en lenguaje natural, expandir o contraer los elementos de la justificación, ocultar predicados, ver las justificaciones de soluciones alternativas, etc. Gracias a esto, el usuario logrará comprender por qué es cierta cada una de las respuestas a su consulta: qué pasos se han seguido, en qué orden, cuántas soluciones alternativas hay para su consulta, etc. Esto le permitirá afianzar su confianza en la máquina e incluso detectar erratas en su programa.

[EN] This document presents the development of a Java interface that integrates a Prolog interpreter, which enables visualizing a justification for the execution of this type of logic programs. To use the interface, the user must initially load a Prolog program and enter his query about what they want to know. Then, if there is a solution, the user will be able to interact with the justification that will be presented to them in the interface. They could change the default representation of the predicates for a natural language representation, expand or contract the justification elements, hide some predicates or view alternative solution justifications, among others. Thanks to this, the user will be able to understand why each of the responses to their query is true: which steps have been followed, in which order, how many alternative solutions there are for their query, etc. This will allow them to strengthen their confidence in computing and even detect errors in the program they are running.