2:- use_module(library(kbest)).    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:- kbest.   11
   12:- begin_lpad.   13
   14win :- red, green.
   15win :- blue, yellow.
   16
   17 0.4::red.
   18 0.9::green.
   19 0.5::blue.
   20 0.6::yellow.
   21
   22
   23:- end_lpad.

?- kbest(win,2,Exp). Exp = [0.36000000000000004-[rule(0, red, [red:0.4, '':0.6], []), rule(1, green, [green:0.9, '':0.09999999999999998], [])], 0.30000000000000004-[rule(2, blue, [blue:0.5, '':0.5], []), rule(3, yellow, [yellow:0.6, '':0.4], [])]].

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

*/