2:- use_module(library(pita)).    3
    4:- if(current_predicate(use_rendering/1)).    5:- use_rendering(c3).    6:- use_rendering(graphviz).    7:- use_rendering(table,[header(['Multivalued variable index','Rule index','Grounding substitution'])]).    8:- endif.    9
   10:- pita.   11
   12:- begin_lpad.   13
   14a:- b,c,d.
   15a:- e,f,\+ g.
   16
   17b:0.3.
   18abducible c.
   19e:0.6.
   20abducible d.
   21abducible f.
   22abducible g.
   23
   24:- end_lpad.