Осваиваю swi-prolog. Нашел, что можно динамически сохранять в базу правила с помощью assertz. Но не могу понять, ка потом эту базу сохранить в файл, а в следующий раз его загрузить. В идеале должно быть так: при выходе из программы сохраняем все в файл, при запуске - загружаем.