Prolog inserir, modificar e excluir fatos em um arquivo de texto de banco de dados separado
Eu tenho um arquivo de banco de dados prólogo com muitos fatosknowledge.pl
. Por exemplo:
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.
Este arquivo é consultado (consult / 1) toda vez que meu programa é executado novamente.
Gostaria de poder inserir, modificar e excluir os fatos desejados (alguns deles diretamente, outros que atendem a algumas condições específicas) escrevendo ou excluindo diretamente desse arquivo de texto do banco de dados.
algo como assertz, retraia e retraia mas modifica este arquivo de texto para que as mudanças permaneçam permanentemente lá.
como eu posso fazer isso?