1% From [Van den Broeck et al., 2010].
    2
    3:- use_module(library(pita)).
    4
    5:- pita.
    6
    7:- begin_lpad.
    8
    90.3::rain.
   100.5::wind.
   11
   12% decision facts
   13? :: umbrella.
   14? :: raincoat.
   15
   16broken_umbrella :- rain,umbrella,wind.
   17dry :- rain, raincoat.
   18dry :- rain, umbrella, \+(broken_umbrella).
   19dry :- \+(rain).
   20
   21% utility facts
   22broken_umbrella => -40.
   23raincoat => -20.
   24umbrella => -2.
   25dry => 60.
   26
   27:- end_lpad.
   28
   29/*
   30 * ?- dt_solve(Strategy,Value).
   31 * Expected result:
   32 * Strategy = [umbrella]
   33 * Value = 43.0
   34*/