:- use_module(library(pita)).

:- pita.

:- begin_lpad.

0.3::solo_win1.
0.3::solo_win2.

0.5::both_win :- \+(solo_win1), \+(solo_win2).

win1 :- play1, solo_win1, \+play2.
win1 :- play1, both_win, \+play2.

win2 :- play2, solo_win2, \+play1.
win2 :- play2, both_win, \+play1.

? :: play1.
? :: play2.

utility(play1, -10).
utility(play2, -10).
utility(win1, 50).
utility(win2, 50).

:- end_lpad.

/*
 * ?- dt_solve(Strategy,Value).
 * Expected result:
 * Strategy = [play1]
 * Value = 17.25
*/