A Chinese translation of Raj Reddy's 1995 Turing Award lecture