安裝或設定

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