cplint on
SWI
SH
is a web application for probabilistic logic programming
About
Help
LIFTCOVER-Help
PHIL-Help
PASCAL-Help
Credits
Dismiss
Latest:
Threads and Python in LIFTCOVER
,
course
,
PHIL examples
,
book
Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:- 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, */