law(fancier,language(prolog)).


sent(X,ping,Y) :- do(forward). 
sent(X,M,Y) :- do(deliver(controller,notallowed,Self)). 


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

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

disconnected :- do(quit).