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
   14map_query 0.6::red(b1); 0.3::green(b1); 0.1::blue(b1) :- pick(b1).
   15 0.6::pick(b1); 0.4::no_pick(b1).
   16
   17ev:- \+ blue(b1).
   18
   19:- end_lpad.

?- map(ev,P,Exp).

*/