我已经安装了SWI-Prolog和一个编辑器。我目前正在使用它们编写和运行代码。最近我开始使用Vim编辑器工作,所以我想问一下,如何从Vim运行Prolog代码?显然,我不是问Vim如何运行代码,因为它只是一个编辑器,而不是IDE,我问的是如何像在Vim中运行C或Python代码那样运行代码。
发布于 2014-10-13 06:11:42
从Vim运行Prolog代码需要加载Prolog程序和Prolog查询才能使用该程序执行。例如,如果您的查询是对谓词main/0的调用,那么您可以在~/.vimrc文件中添加如下内容:
map <F5> <ESC>:w<CR>:exec '!swipl -g "consult(''%''), main, halt"'<CR>当Prolog程序在当前Vim buffer中时,按功能键F5将其保存到磁盘,使用SWI-Prolog进行查询,调用目标main,并终止Prolog部分(由于调用了halt/0谓词)。
https://stackoverflow.com/questions/26329744
复制相似问题