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