prolog简记

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].

即可在?-中输入要判断的。