Я бы хотел перезагрузить рабочее пространство, чтобы все предыдущие утверждения и база знаний исчезли.
ИМО очистить сложную среду на самом деле невозможно в 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., SWI-Prolog откроет редактор на 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 ...