發送短信 : A parallel logic programming system based on BaLinda Lisp :