% % Synapse N+1 - DMC Code % :-dynamic r/4. :-dynamic info/4. info(1,[p],4,[i,v,d]). r(init,p(s_s,I,V,D),{I>=0,V=0,D=0},1). r(p(s_s,I,V,D),p(s_s,I,V,D),{I>=0,D>=0,V>=0,D+V>=1},2). r(p(s_s,I,V,D),p(s_s,I1,V1,D1), {I>=1,D>=0,V>=0,I1=I+D-1,V1=V+1,D1=0},3). r(p(s_s,I,V,D),p(s_s,I1,V1,D1), {D>=0,V>=0,I>=0,D+V+I>=1,D1=1,I1=I+D+V-1,V1=0},4). r(p(s_s,I,V,D),p(s_s,I1,V,D1),{D>=1,I>=0,V>=0,I1=I+1,D1=D-1},5). r(p(s_s,I,V,D),p(s_s,I1,V1,D),{V>=1,I>=0,D>=0,I1=I+1,V1=V-1},6). prop(unsafe,p:s * (v>=1) * (d>=1)). %prop(unsafe,p:s * (d>=2)).