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

   22utility(broken_umbrella,-40).
   23utility(raincoat,-20).
   24utility(umbrella,-2).
   25utility(dry,60).
   26
   27:- end_lpad.
   28
   29/*
   30 * ?- dt_solve(Strategy,Value).
   31 * Expected result:
   32 * Strategy = [umbrella]
   33 * Value = 43.0
   34*/