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)
.*/