Сохранить заявленные факты в Прологе

Question

В прологе, если я утверждаю какой-то факт, например:

assert(boy(john4)).
assert(boy(john3)).
assert(boy(john2)).
assert(boy(john1)).

Как я могу сохранить этот факт в файле?

Answer 1

Если вы используете SWI-Prolog, то одной из альтернатив является persistency.pl библиотека. Вам нужно объявить постоянные предикаты и их типы аргументов. Тогда вы можете использовать assert_mypred а также retract_mypred, Дополнительная информация: http://www.swi-prolog.org/pldoc/doc/swi/library/persistency.pl