Game

Epilog

What
versus
How

Protocol: standalone
Strategy: manager

Game: parallelbuttonsandlights
Startclock: Infinity
Playclock: Infinity

Use the arrow keys to navigate your move history.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% parallelbuttonsandlights
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% metadata
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

role(left)
role(right)

base(p(R)) :- role(R)
base(q(R)) :- role(R)
base(r(R)) :- role(R)
base(played(R)) :- role(R)
base(step(1))
base(step(N)) :- succ(M,N)
base(control(left))
base(control(right))

action(a(R)) :- role(R)
action(b(R)) :- role(R)
action(c(R)) :- role(R)
action(tick)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% init
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

init(step(1))
init(control(left))

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% legal
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

legal(a(R)) :- control(R) & ~played(R)
legal(b(R)) :- control(R) & ~played(R)
legal(c(R)) :- control(R) & ~played(R)

legal(tick)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% operations
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

a(R) :: ~p(R) ==> p(R)
a(R) :: p(R) ==> ~p(R)
a(R) :: played(R)

b(R) :: q(R) ==> p(R)
b(R) :: ~q(R) ==> ~p(R)
b(R) :: p(R) ==> q(R)
b(R) :: ~p(R) ==> ~q(R)
b(R) :: played(R)

c(R) :: q(R) ==> r(R)
c(R) :: ~q(R) ==> ~r(R)
c(R) :: r(R) ==> q(R)
c(R) :: ~r(R) ==> ~q(R)
c(R) :: played(R)

tick :: ~played(left) & ~played(right)
tick :: step(M) & succ(M,N) ==> ~step(M) & step(N)
tick :: control(left) ==> ~control(left) & control(right)
tick :: control(right) ==> ~control(right) & control(left)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% goal
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

goal(R,100) :- p(R) & q(R) & r(R)
goal(R,50) :- p(R) & q(R) & ~r(R)
goal(R,50) :- p(R) & ~q(R) & r(R)
goal(R,50) :- ~p(R) & q(R) & r(R)
goal(R,25) :- p &(R) ~q(R) & ~r(R)
goal(R,25) :- ~p(R) & q(R) & ~r(R)
goal(R,25) :- p(R) & ~q(R) & ~r(R)
goal(R,0) :- ~p(R) & ~q(R) & ~r(R)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% terminal
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

terminal :- step(13)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Facts
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

succ(1,2)
succ(2,3)
succ(3,4)
succ(4,5)
succ(5,6)
succ(6,7)
succ(7,8)
succ(8,9)
succ(9,10)
succ(10,11)
succ(11,12)
succ(12,13)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%