law(monitoring,language(prolog)).

alias(monitor, 'monitor@research.rutgers.edu').

adopted(par(A)) :- do(forward(Self,justCreated,#monitor)).

sent(X,M,Y) :- do(forward(X,[M,Y],#monitor)), do(forward). 

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

disconnected :- do(quit).