Gamemaster Sign In Protocol: standalone Strategy: manager   Game: switches Startclock: Infinity Playclock: Infinity Move:

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% switches - same as lightboard but with intermediate state values %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% metadata %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% role(robot) base(on(M,N)) :- index(M) & index(N) action(set(M,N)) :- index(M) & index(N) index(1) index(2) index(3) index(4) index(5) index(6) index(7) index(8) index(9) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% init %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% init(control(robot)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% legal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% legal(set(M,N)) :- index(M) & index(N) & ~on(M,N) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% operations %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% set(M,N) :: on(M,N) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% goal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% goal(robot,100) :- ~on(4,4) & ~on(4,6) & ~on(6,4) & ~on(6,6) goal(robot,75) :- on(4,4) & ~on(4,6) & ~on(6,4) & ~on(6,6) goal(robot,75) :- ~on(4,4) & on(4,6) & ~on(6,4) & ~on(6,6) goal(robot,75) :- ~on(4,4) & ~on(4,6) & on(6,4) & ~on(6,6) goal(robot,75) :- ~on(4,4) & ~on(4,6) & ~on(6,4) & on(6,6) goal(robot,50) :- on(4,4) & on(4,6) & ~on(6,4) & ~on(6,6) goal(robot,50) :- on(4,4) & ~on(4,6) & on(6,4) & ~on(6,6) goal(robot,50) :- on(4,4) & ~on(4,6) & ~on(6,4) & on(6,6) goal(robot,50) :- ~on(4,4) & on(4,6) & on(6,4) & ~on(6,6) goal(robot,50) :- ~on(4,4) & on(4,6) & ~on(6,4) & on(6,6) goal(robot,50) :- ~on(4,4) & ~on(4,6) & on(6,4) & on(6,6) goal(robot,25) :- ~on(4,4) & on(4,6) & on(6,4) & on(6,6) goal(robot,25) :- on(4,4) & ~on(4,6) & on(6,4) & on(6,6) goal(robot,25) :- on(4,4) & on(4,6) & ~on(6,4) & on(6,6) goal(robot,25) :- on(4,4) & on(4,6) & on(6,4) & ~on(6,6) goal(robot,0) :- on(4,4) & on(4,6) & on(6,4) & on(6,6) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% terminal %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% terminal :- on(4,5) & on(5,4) & on(5,5) & on(5,6) & on(6,5) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%