35 lines
670 B
Prolog
35 lines
670 B
Prolog
|
|
:- use_module(library(pita)).
|
|
|
|
:- if(current_predicate(use_rendering/1)).
|
|
:- use_rendering(c3).
|
|
:- use_rendering(graphviz).
|
|
:- use_rendering(table,[header(['Multivalued variable index','Rule index','Grounding substitution'])]).
|
|
:- endif.
|
|
|
|
:- pita.
|
|
|
|
:- begin_lpad.
|
|
|
|
win :- red, green.
|
|
win :- blue, yellow.
|
|
|
|
map_query 0.4::red.
|
|
map_query 0.9::green.
|
|
map_query 0.5::blue.
|
|
map_query 0.6::yellow.
|
|
|
|
|
|
:- end_lpad.
|
|
|
|
/** <examples>
|
|
?- 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,
|
|
|
|
|
|
*/
|