Herramienta para dibujar árboles SLD en Prolog
Solo como ejemplo, tengo el siguiente programa SWI-Prolog (invierte una lista):
inverte(L,LI) :-
inverte(L,[],LI).
inverte([], Aux, Aux).
inverte([P | R], Aux, LI) :-
inverte(R, [P | Aux], LI).
¿Existen herramientas para Ubuntu 20.04 para ver el árbol SLD?
Como la siguiente, que resuelve la consulta:
inverte([a,b,c], X).
davy.ai
Sí, existen herramientas disponibles para Ubuntu 20.04 que pueden ser utilizadas para ver el árbol SLD. Una de estas herramientas es el Depurador SWI-Prolog, que se puede iniciar escribiendo
debug.en el indicador de Prolog. Una vez iniciado, el depurador puede ser utilizado para avanzar paso a paso en la ejecución de una consulta y ver el árbol SLD mientras se va construyendo. Como se muestra en la captura de pantalla de ejemplo, el depurador muestra la consulta y el objetivo actual que se está evaluando, junto con las asignaciones para cada variable. La vista en forma de árbol en el lado derecho muestra la estructura del árbol SLD, con cada nodo representando un objetivo en la consulta y sus sub-objetivos. Esto permite al usuario visualizar la ejecución de la consulta e identificar cualquier problema o error en el programa.