Пролог вставлять, изменять и удалять факты в отдельном текстовом файле базы данных
У меня есть файл базы данных пролога с большим количеством фактовknowledge.pl
, Например:
father_of(joe,paul).
father_of(joe,mary).
mother_of(jane,paul).
mother_of(jane,mary).
male(paul).
male(joe).
female(mary).
female(jane). % and so on.
Этот файл просматривается (consult / 1) каждый раз, когда моя программа выполняется снова.
Я хотел бы иметь возможность вставлять, изменять и удалять нужные мне факты (некоторые из них напрямую, некоторые другие, которые удовлетворяют определенным условиям) путем записи или удаления непосредственно в этом текстовом файле базы данных.
что-то вроде assertz, retract и retractall, но изменяя этот текстовый файл, чтобы изменения оставались там постоянно.
как мне это сделать?