Desarrollo de un depurador reversible para programas Prolog

Abstract

[ES] Este TFG presenta la realización de un depurador reversible de Prolog que permitirá a los usuarios la carga y visualización de los distintos estados por los que pasa el programa para la obtención de una solución tales como las llamadas, fallos, llamadas de backtracking y obtención de soluciones alternativas. Para esto se utilizará una aplicación destinada principalmente al estudiante de informática que buscará un uso fácil y cómodo con el usuario que le ayude con el uso de la aplicación, pudiendo moverse cómodamente entre las distintas llamadas proporcionadas. Utilizando el mismo Prolog para las distintas llamadas y Java para la creación de la interfaz mostraremos también la integración entre estos dos lenguajes.

[EN] This TFG presents the realization of a reversible Prolog debugger that will allow users to load and visualize the different states through which the program passes to obtain a solution such as calls, failures, backtracking calls and obtaining solutions alternatives. For this, an application will be used mainly intended for the computer science student who will look for an easy and comfortable use with the user that helps him with the use of the application, being able to move comfortably between the different calls provided. Using the same Prolog for the different calls and Java for creating the interface, we will also show the integration between these two languages.