发送短信 : A neural-logic environment for expert systems /