1、安装SWI-Prolog。如果你是Windows或Mac用户,你可以在其官网swi-prolog.org上下载安装。如果你是Li荏鱿胫协nux用户,你可以直接在软件管理器中进行下载安装。需要注意,它的软件包名为pl,安装命令为:sudo dnf install pl -y(以Fedora系统为例)。
2、但它命令名称为swipl。你可以在打开后,再加载相应Prolog文件。如:[friend].,然后就可以与之交互了。在方括号里只要填写文件名,不能填写后缀名。还需要加上英文句号,作为命令的结束。
3、你也可以在swipl命令后面接上文件名,同样可以执行相应Prolog代码。一般情况下,它的后缀名为.pl,但是更常用的Perl语言的后缀名一般也为.pl,因此我一般把.prolog作为Prolog文件的后缀名。
4、你也可以在进入SWI-prolog后,直接利用控制台进行编程。在里面输入[user].就可以开始了,但我更建议先编写好代码文件再执行。在这里,我特意让它打出汉字,SWI-prolog是支持UTF-8的。写好后按Ctrl+d结束。
5、使用命令edit(文件名).会用一个编辑器打开它。文件名不要加后缀名。编辑器保存退出后,需要使用命令make.重新加载相应文件。
6、.pl也可能是编程语言Perl的文件后缀名。我一般使用编辑器Vim,由于它默认没有将*.pro盟敢势袂log与Prolog文件相关胎炎谈巴联,它会判断*.pl文件是Perl还是Prolog的,但不一定有效。因此需要对其进行配置,我将后缀名.prolog与Prolog相关联,这样Vim就可以对其显示语法高亮了。如果你是Linux/Unix用户,需要创建新文件:~/.vim/filetype.vim,也就是在用户目录下创建一个名为.vim的文件夹(Linux/Unix中,前面带有.的为隐藏文件),然后再在里面创建名为filetype.vim的纯文本配置文件,我的配置代码如下:"my filetype fileif exists("did_load_filetypes") finishendifaugroup filetypedetect au! BufRead,BufNewFile *.prolog setfiletype prologaugroup END然后你再打开*.prolog就有语法高亮了。
7、退出SWI-Prolog。输入命令行进程终止符,在大多数系统上是“Ctri+d”,或者输入halt. 。