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*/