我是 Prolog 的新手，我正在使用 SWI-Prolog v6.6 在 *.pl 文件中存储断言。
:- dynamic fact/2.
assert(fact(fact1,fact2)).
使用上面的代码，我可以进行断言并且工作正常，但是问题是当我关闭 SWI-Prolog 并再次打开 *.pl 文件时，我所做的断言消失了......
有没有一种方法可以进行断言，即使我关闭 SWI-Prolog 也会存储这些断言？
抱歉我的英语不好，谢谢！(: