Я немного новичок в Прологе и использую SWI-Prolog v6.6 для хранения утверждений в моем файле * .pl.

:- dynamic fact/2.

assert(fact(fact1,fact2)).

С помощью приведенного выше кода я могу сделать утверждения, и все работает нормально, но проблема в том, что когда я закрываю SWI-Prolog и снова открываю файл * .pl, сделанные мной заявления исчезли ...

Есть ли способ сделать утверждения, и они будут сохранены, даже если я закрою SWI-Prolog?

Извините за мой плохой английский и спасибо! (: