SWI Prolog如何重新加载工作区？

我使用的是SWI Prolog附带的标准编辑器。我希望重新加载工作区，以便所有先前的断言和知识库都将消失。有捷径吗？我当然可以关闭并重新打开编辑器，但不知道是否有更快的方法

我希望重新加载工作区，以便所有先前的断言和知识库都将消失

在SWI Prolog中，IMO清理复杂环境的工作实际上是不可行的。从设计上讲，数据库是全局的，删除部分已加载状态并不容易

但是，您可以将设置工作区时使用的步骤存储在

~/.swiplrc

中，以在（重新）启动环境时重建您的体验。例如，在我自己，我有

...
user:file_search_path(carlo, '/home/carlo/prolog').
user:file_search_path(scxml, carlo(scxml)).

d :- cd('/home/carlo/prolog'), portray_text(true), edit(read_trace_php).
...

然后，如果我“查询”

？-d.

，SWI Prolog将在

read\u trace\u php.pl

上打开一个编辑器。 如果我在.swiplrc中写入

指令

:- cd('/home/carlo/prolog'), portray_text(true), edit(read_trace_php).

然后，每当我启动swipl时，我都会准备好编辑器

形式事实

user:file_search_path(scxml, carlo(scxml)).

可以方便地定义项目所需的“包含路径”

您可以从

>设置>用户初始化文件中编辑.swiplrc…