В.В. Девятков, Т.Н. Мьё
12
confirming([put(irps,invsucc),put(invalid,assertf)]):-
confirming([put(brps,byersp),put(invalid,assertf)]),thread([put(irps,invsucc),
put(invalid,assertf)]).
confirming([put(brps,byersp),put(invalid,assertf)]):-
confirming([put(brps,byersp),put(invalid,assertf)]),thread([put(brps,byersp),
put(invalid,assertf)]).
byeing([put(reqc,bye)]):-
confirming([put(irps,incsucc),put(ackc,ack)]),thread([put(reqc,bye)]).
byeing([put(reqc,bye)]):-
confirming([put(irps,invfail),put(invalid,assertf)]),thread([put(reqc,bye)]).
byeing([put(reqc,bye)]):-
confirming([put(irps,invsucc),put(invalid,assertf)]),thread([put(reqc,bye)]).
byeing([put(reqc,bye)]):-
confirming([put(brps,byersp),put(invalid,assertf)]),thread([put(reqc,bye)]).
byeing([put(irps,invifail),put(invalid,assertf)]):-
byeing([put(irps,invinvalid),put(invalid,assertf)]),thread([put(irps,invinvalid),
put(invalid,assertf)]).
byeing([put(irps,invsucc),put(invalid,assertf)]):-
byeing([put(irps,invinvalid),put(invalid,assertf)]),thread([put(irps,invsucc),
put(invalid,assertf)]).
byeing([put(reqs,bye),put(brpc,byersp)]):-
byeing([put(irps,invinvalid),put(invalid,assertf)]),
thread([put(reqs,bye),put(brpc,byersp)]).
byeing([put(irps,invfail),put(invalid,assertf)]):-
byeing([put(irps,invsucc),put(invalid,assertf)]),thread([put(irps,invinvalid),
put(invalid,assertf)]).
byeing([put(irps,invsucc),put(invalid,assertf)]):-
byeing([put(irps,invsucc),put(invalid,assertf)]),thread([put(irps,invsucc),
put(invalid,assertf)]).
byeing([put(reqs,bye),put(brpc,byersp)]):-
byeing([put(irps,invsucc),put(invalid,assertf)]),
thread([put(reqs,bye),put(brpc,byersp)]).
byeing([put(irps,invfail),put(invalid,assertf)]):-
byeing([put(reqs,bye),put(brpc,byersp)]),thread([put(irps,invinvalid),
put(invalid,assertf)]).
byeing([put(irps,invsucc),put(invalid,assertf)]):-
byeing([put(reqs,bye),put(brpc,byersp)]),thread([put(irps,invsucc),
put(invalid,assertf)]).
byeing([put(reqs,bye),put(brpc,byersp)]):-
