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

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

但是您可以在中存储设置工作区时使用的步骤 ~/.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. read_trace_php.pl . 如果我写在我的.swiplrc directive

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

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

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

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

您可以从中编辑.swiplrc > Settings > User init file ...