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
   14red(b1):- pick(b1), pf(1, 1).
   15green(b1):- pick(b1), pf(1, 2), \+ pf(1, 1).
   16blue(b1):- pick(b1), \+ pf(1, 2), \+ pf(1, 1).
   17pick(b1):- pf(2, 1).
   18no_pick(b1):- \+ pf(2, 1).
   19map_query 0.6::pf(1, 1).
   20map_query 0.75::pf(1, 2).
   21map_query 0.6::pf(2, 1).
   22
   23ev:- \+ blue(b1).
   24:- end_lpad.