安装或设置

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

• 你现在可以使用命令 swipl 通过命令行启动 SWI-Prolog