配置环境
- 安装eclipse
- 添加pydev插件
- 安装完提示重启eclipse
- 首先通过下面的命令安装pip,pip是Python的一个安装和管理扩展库的工具
sudo apt-get install python-pip 安装Python开发环境,方便今后编译其他扩展库
sudo apt-get install python-dev
安装missing的包
apt-get update –fix-missing安装nltk
sudo apt-get install python-nltk- 安装numpy
sudo apt-get install python-numpy - 安装python-matplotlib
sudo apt-get install python-matplotlib - 安装prover9
sudo apt-get install prover9 - 安装python-scipy
sudo apt-get install python-scipy - 配置dev 解释器,选择auto-config
安装nltk data
官网的安装教程是很简单的,但是在大陆的网速是让人崩溃的
http