%
% ILLINOIS - DMC code [Delzanno 2003]
% MP - Nov 12, 2007

:-dynamic r/4.
:-dynamic info/4.

info(1,[p],4,[i,d,s,e]).

r(init,p(s_s,I,D,S,E),{I>=1,D=0,S=0,E=0},1).	%initial state

r(p(s_s,I,D,S,E),p(s_s,I,D,S,E), 		%r1
   {I>=0,E>=0,D>=0,S>=0, E+D+S>=1},2).  

r(p(s_s,I,D,S,E),p(s_s,I1,D,S,E1),  		%r2
   {I>=1,D=0,S=0,E=0,
     I1=I-1,E1=E+1},3).

r(p(s_s,I,D,S,E),p(s_s,I1,D1,S1,E1),		%r3
   {I>=1,D>=0,S>=0,E>=0,D+S+E>=1,
    I1=I-1,D1=0,S1=D+S+E+1,E1=0},4).

r(p(s_s,I,D,S,E),p(s_s,I,D,S,E), 		%w1
   {I>=0,S>=0,E>=0,D>=1},5).  

r(p(s_s,I,D,S,E),p(s_s,I,D1,S,E1), 		%w2
   {I>=0,D>=0,S>=0,E>=1,  
    D1=D+1,E1=E-1},6).

r(p(s_s,I,D,S,E),p(s_s,I1,D1,S1,E1), 		%w3
   {I>=0,D>=0,S>=0,E>=0, S+I>=1,
    I1=I+D+S+E-1,D1=1,S1=0,E1=0},7).

r(p(s_s,I,D,S,E),p(s_s,I1,D1,S,E), 		%w4
   {I>=0,D>=1,S>=0,E>=0,
     I1=I+1,D1=D-1},8).

r(p(s_s,I,D,S,E),p(s_s,I1,D,S1,E), 		%w5
  {I>=0,D>=0,S>=1,E>=0,
   I1=I+1,S1=S-1},9).

r(p(s_s,I,D,S,E),p(s_s,I1,D,S,E1), 		%w6
  {I>=0,D>=0,S>=0,E>=1,
     I1=I+1,E1=E-1},15).

%unsafe14
prop(unsafe, p:s * (i>=0) * (d>=1) * (s>=0) * (e>=0) * (s+e>=1) + 
             p:s * (i>=0) * (d>=2) * (s>=0) * (e>=0) + 
             p:s * (i>=0) * (d>=0) * (s>=0) * (e>=2) + 
             p:s * (i>=0) * (d>=0) * (s>=1) * (e>=1)).