r(init, p(s_s,A,B), {A=0,B=0}).
r(p(s_s,A,B), p(s_s,C,D), {A>=0,B>=0.8,C=A-0.02*A,D=B+0.01*A}).
r(p(s_s,A,B), p(s_s,C,D), {A>=0,B>=0,B<0.8,
C=A-0.02*A+0.01,D=B+0.01*A}).
| ?- prop(P,S).
P = unsafe, S = p:s*(x>=0.6)
| ?- ti.
Property satisfied. Execution time 0.0
| ?- ls.
s(0, p(s_s,A,_), {A>=0.6}, 1, (0,0)).