SWI-Prolog
Windows和Mac：
在官方网站上下载SWI-Prolog
只需按照安装程序说明进行安装。
Linux(PPA)：
将PPA添加ppa:swi-prolog/stable到系统的软件源中（开发人员可以选择ppa:swi-prolog/devel）：
打开终端（Ctrl + Alt + T）并输入：sudo add-apt-repository ppa:swi-prolog/stable
之后，更新软件包信息：sudo apt-get update
现在通过程序包管理器安装SWI-Prolog：sudo apt-get install swi-prolog
现在，您可以使用命令行通过命令行启动SWI-Prolog swipl