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
/* Example showing the use of negation. From J. Vennekens, Marc Denecker, and Maurice Bruynooghe. CP-logic: A language of causal probabilistic events and its relation to logic programming. Theory Pract. Log. Program., 9(3):245-308, 2009. */ :- use_module(library(pita)). :- if(current_predicate(use_rendering/1)). :- use_rendering(c3). :- endif. :- pita. :- begin_lpad. push. % we surely push the switch light : 0.4 :- push. % if the switch is pushed, the light goes on with probability 0.4 replace :- \+ light. % if there is no light we must replace the bulb :- end_lpad. /** <examples> ?- prob(replace,Prob). % what is the probability that we replace the bulb? % expected result 0.6 ?- prob(light,Prob). % what is the probability that the light is on? % expected result 0.4 ?- prob(replace,Prob),bar(Prob,C). % what is the probability that we replace the bulb? % expected result 0.6 ?- prob(light,Prob),bar(Prob,C). % what is the probability that the light is on? % expected result 0.4 */