1:- use_module(library(pita)).    2
    3:- pita.    4
    5
    6
    7:- begin_lpad.    8
    9person(john).
   10person(mary).
   11person(bob).
   12
   13map_query 0.7::burglary.
   14map_query 0.2::earthquake.
   15
   16map_query 0.9::alarm :- burglary, earthquake.
   17map_query 0.8::alarm :- burglary, \+earthquake.
   18map_query 0.1::alarm :- \+burglary, earthquake.
   19
   20map_query 0.8::calls(X) :- alarm, person(X).
   21map_query 0.1::calls(X) :- \+alarm, person(X).
   22
   23evidence:- \+ calls(john),calls(mary).
   24
   25:- end_lpad.