law(simple,language(prolog)).

sent(X,M,Y) :- do(forward). 

arrived(X,M,Y) :- do(deliver).

exception(E,Fc) :- do(deliver(Self,exc(E,Fc),Self)).

disconnected :- do(quit).