Мне было интересно, я знаю, что вы можете использовать assert
для добавления фактов или правил или что-то еще, если вы заявили, что предикат будет -:dynamic
, но это позволяет только изменения, которые должны быть сохранены на этом сеансе только, например если вы закроете окно Prolog, то изменения базы данных будут потеряны.
Итак, мне было интересно, есть ли способ сделать это так, чтобы предикаты assert
и retract
могли вносить постоянные изменения в файл Prolog.pl?
Спасибо