版权声明：本文为博主原创文章，未经博主允许不得转载。 https://blog.csdn.net/lifestxx/article/details/85048601
http://www.swi-prolog.org/download/stable
centos-7: 源码解压，config && make && make install
mac:dmg直接安装
使用：
1 交互式
linux下敲：swipl进入交互式。
|:后输入已知；?-后输入要判断的
2 使用文件
例：love.pl
love(zhangxueyou,wanfei).
love(zhangxueyou,zouhuimin).
love(wanfei,xietinfen).
love(zouhuimin,zhangxueyou).
love(xietinfen,wanfei).
love(xietinfen,zouhuimin).
love(liudehua,zouhuimin).
lovers(X,Y):-love(X,Y),love(Y,X).
直接输入swipl love.pl或交互式中输入[love].
即可在?-中输入要判断的。