prolog - 在 Prolog 中绘制 SLD 树的工具

Question

举个例子，我有以下 SWI-Prolog 程序（反转列表）：

inverte(L,LI) :- 
   inverte(L,[],LI).

inverte([], Aux, Aux).
inverte([P | R], Aux, LI) :- 
   inverte(R, [P | Aux], LI).

是否有任何用于 Ubuntu 20.04 的工具来查看 SLD 树？
像下面这样，解决了查询： inverte([a,b,c], X).