解压LADR1007B-win.zip，，将解压产生的文件夹LADR1007B-win改名为prover9，并将文件夹prover9移动到C:\nltk_data中即可使用之。这是python自然语言处理第十章的必备包。官方网站已经不提供使用了。