[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 ...