Gamemaster General Game Playing Protocol: tester Player: minimaxdepthsymbol Depth: 6 Game: buttonsandlightssymbol %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% buttonsandlightssymbol %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% metadata %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% role(robot) base(p) base(q) base(r) base(step1) base(step2) base(step3) base(step4) base(step5) base(step6) base(step7) base(controlrobot) action(a) action(b) action(c) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% init %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% init(step1) init(controlrobot) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% control %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% control(robot) :- controlrobot %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% legal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% legal(a) legal(b) legal(c) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% operations %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% a :: ~p ==> p a :: p ==> ~p a :: step1 ==> ~step1 & step2 a :: step2 ==> ~step2 & step3 a :: step3 ==> ~step3 & step4 a :: step4 ==> ~step4 & step5 a :: step5 ==> ~step5 & step6 a :: step6 ==> ~step6 & step7 b :: q ==> p b :: ~q ==> ~p b :: p ==> q b :: ~p ==> ~q b :: step1 ==> ~step1 & step2 b :: step2 ==> ~step2 & step3 b :: step3 ==> ~step3 & step4 b :: step4 ==> ~step4 & step5 b :: step5 ==> ~step5 & step6 b :: step6 ==> ~step6 & step7 c :: q ==> r c :: ~q ==> ~r c :: r ==> q c :: ~r ==> ~q c :: step1 ==> ~step1 & step2 c :: step2 ==> ~step2 & step3 c :: step3 ==> ~step3 & step4 c :: step4 ==> ~step4 & step5 c :: step5 ==> ~step5 & step6 c :: step6 ==> ~step6 & step7 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% goal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% goal(robot,100) :- p & q & r goal(robot,50) :- p & q & ~r goal(robot,50) :- p & ~q & r goal(robot,50) :- ~p & q & r goal(robot,25) :- p & ~q & ~r goal(robot,25) :- ~p & q & ~r goal(robot,25) :- p & ~q & ~r goal(robot,0) :- ~p & ~q & ~r %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% terminal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% terminal :- p & q & r terminal :- step7 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%