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