Prolog安装或设置
示例
SWI-Prolog
Windows和Mac:
在官方网站上下载SWI-Prolog
只需按照安装程序说明进行安装。
Linux(PPA):
将PPA添加ppa:swi-prolog/stable到系统的软件源中(开发人员可以选择ppa:swi-prolog/devel):
打开终端(Ctrl+Alt+T)并输入:sudoadd-apt-repositoryppa:swi-prolog/stable
之后,更新软件包信息:sudoapt-getupdate
现在通过程序包管理器安装SWI-Prolog:sudoapt-getinstallswi-prolog
现在,您可以使用命令行通过命令行启动SWI-Prologswipl