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
   14win :- red, green.
   15win :- blue, yellow.
   16
   17map_query 0.4::red.
   18map_query 0.9::green.
   19map_query 0.5::blue.
   20map_query 0.6::yellow.
   21
   22
   23:- end_lpad.

?- map(win,P,Exp). Exp = [ rule(0, '', [red:0.4, '' : 0.6], true), rule(1, green, [green:0.9, '' : 0.09999999999999998], true), rule(2, blue, [blue:0.5, '' : 0.5], true), rule(3, yellow, [yellow:0.6, '' : 0.4], true)], P = 0.162,

*/