Just as an example, I have the following SWI-Prolog Program (inverts a list):
inverte(L,LI) :-
inverte(L,[],LI).
inverte([], Aux, Aux).
inverte([P | R], Aux, LI) :-
inverte(R, [P | Aux], LI).
Are there any tools for Ubuntu 20.04 in order to view the SLD tree?
Like the following one, that solves the query:
inverte([a,b,c], X).
