2

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).
enter image description here

false
  • 10,264
  • 13
  • 101
  • 209
lbarqueira
  • 1,101
  • 1
  • 10
  • 28
  • @GuyCoder Thanks. I had already seen that SWI package, however, it is necessary to convert to LaTeX and I am looking for a one-click solution. – lbarqueira Dec 06 '21 at 18:33
  • @GuyCoder I also think that both packages you presented do not show unification on each step of the tree. Not sure. – lbarqueira Dec 06 '21 at 18:38
  • 2
    @GuyCoder Thank you very much. I am going to register to Discourse forum. – lbarqueira Dec 07 '21 at 17:07

0 Answers0