% % BERKELEY -- DMC Code % :-dynamic r/4. :-dynamic info/4. info(1,[p],4,[i,e,n,u]). r(init,p(s_s,I,E,N,U),{I>=1,E=0,N=0,U=0},1). r(p(s_s,I,E,N,U),p(s_s,I,E,N,U), {I>=0,E>=0,N>=0,U>=0, E+N+U>=1},2). r(p(s_s,I,E,N,U),p(s_s,I1,E1,N1,U1), {I>=1,I1=I-1,U1=U+1,N1=N+E,E1=0},5). r(p(s_s,I,E,N,U),p(s_s,I1,E1,N1,U1), {I>=0,E>=0,N>=0,U>=0, N+U>=1, E1=E+1,U1=0,I1=I+U+N-1,N1=0},6). r(p(s_s,I,E,N,U),p(s_s,I1,E1,N1,U1), {I>=1,E>=0,N>=0,U>=0, I1=U+E+I+N-1,U1=0,N1=0,E1=1},7). r(p(s_s,I,E,N,U),p(s_s,I1,E1,N,U), {I>=0,E>=1,N>=0,U>=0, I1=I+1,E1=E-1},8). r(p(s_s,I,E,N,U),p(s_s,I1,E,N1,U), {I>=0,E>=0,N>=0,U>=0, I1=I+1,N1=N-1},9). r(p(s_s,I,E,N,U),p(s_s,I1,E,N,U1), {I>=0,E>=0,N>=0,U>=0, I1=I+1,U1=U-1},10). prop(unsafe, (e>=0) * (i>=0) * (n>=2) * (u>=0)). %prop(unsafe, (e>=1) * (i>=0) * (n>=0) * (u+n >=1) * (u>=0) * (n>=0)).