/*************************************************************** * pingd.kl1: Pinged daemon * * by TAKAGI Yusuke (mailto:takagi@ueda.info.waseda.ac.jp) * 2000-10-07 prototyped. * * import remote.kl1 (dklic-2000-10) ***************************************************************/ :- module main. main :- true | pingd:pingd([]), % dummy call remote:called. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% :- module pingd. pingd(Ts) :- Ts = [] | true. pingd(Ts) :- Ts = [T | Ts_] | Ts_ = [T | Ts_1], pingd(Ts_1). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % end pingd.kl1.