:-module(ics,[ics/2]).

ics([e(pirate(N,Vote,Mon,1),T),e(pirate(N,Vote1,Mon1,1),T1),T1=T+1],
        [[Mon>Mon1,Vote=1],
        [Mon=<Mon1,Vote=0]]).

ics([h(start(M,N),0),e(pirate(PirID,Vote,Mon,Alive),T),PirID-1>N-T],
        [[Mon=0,Vote=0,Alive=0]]).

ics([h(start(M,N),0),e(pirate(PirID,Vote,Mon,Alive),T),PirID-1<N-T],
        [[Alive=1]]).

ics([h(start(M,N),0),e(pirate(Npir,Vote,Mon,Alive),T),Npir-1=N-T],
        [[Vote=1]]).

ics([e(pirate(N,Vote,Mon,1),T),e(pirate(N,Vote1,Mon1,0),T1),T1=T+1],
        [[Vote=1]]).