我需要开发一个使用 prolog 作为推理引擎并使用 python 作为接口的专家系统。我的机器上已经安装了 SWI-prolog,但是我无法导入接口 PySwip,因为 SWI-Prolog 未作为共享库安装。我按照一些教程操作以正确安装 SWI-prolog,但失败了。
有人可以帮忙吗?
答案1
sudo apt-get update && sudo apt-get install swi-prolog swi-prolog-nox
提供
.
/usr/lib/libswipl.a
/usr/lib/libswipl.so
/usr/lib/libswipl.so.7.2
/usr/lib/libswipl.so.7.2.3
/usr/lib/pkgconfig/swipl.pc
.
您可以在此处阅读完整的文件列表http://packages.ubuntu.com/xenial/amd64/swi-prolog-nox/filelist