linux下安装swipl

1) 下载 swipl http://www.swi-prolog.org/download/stable 2) 安装 swipl 根据INSTALL文件中的提示, 进行 cp build.templ build build ./build 出现以下错误: pl-arith.c文件中关于mp_bitcnt_t一系列的错误信息. 解决办法: 1) 安装gmp, https://gmplib.org/#DOWNLOAD 下载gmp-6.0.0a.tar.bz2 (使用较早版本gmp-4.3.2仍然会出现以上错误). 安装(到自定义路径./configure --prefix=/home/***/local) 2) 回到swipl, 修改build文件, 设置, 这样可以找到上一步安装的gmp export CIFLAGS="-I/home/***/local/include" export LDFLAGS="-O2 -g -L/home/***/local/lib"