1:- use_module(library(pita)).
    2
    3:- pita.
    4
    5:- begin_lpad.
    6
    7? :: rock_a.
    8? :: paper_a. 
    9? :: scissor_a.
   10
   110.34::rock_b.
   120.33::paper_b.
   130.33::scissor_b.
   14
   15loose:- paper_b,rock_a.
   16loose:- rock_b,scissor_a.
   17loose:- scissor_b,paper_a.
   18
   19win:- paper_b,scissor_a.
   20win:- scissor_b,rock_a.
   21win:- rock_b,paper_a.
   22
   23tie:- paper_b,paper_a.
   24tie:- scissor_b,scissor_a.
   25tie:- rock_b,rock_a.
   26
   27utility(win,1).
   28utility(tie,0).
   29utility(loose,-1).
   30
   31:- end_lpad.
   32
   33/*
   34 * ?- dt_solve(Strategy,Value).
   35 * Expected result:
   36 * Strategy = paper_a
   37 * Value = 0.01
   38*/