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