Mam plik bazy danych prologu z wieloma faktamiknowledge.pl. Na przykład:

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.

Ten plik jest sprawdzany (konsultacja / 1) za każdym razem, gdy mój program jest ponownie wykonywany.

Chciałbym móc wstawiać, modyfikować i usuwać fakty, które chcę (niektóre z nich bezpośrednio, niektóre inne, które spełniają określone warunki), pisząc lub usuwając bezpośrednio w tym pliku tekstowym bazy danych.

coś w rodzaju asercji, wycofuje i wycofuje, ale modyfikuje ten plik tekstowy, aby zmiany pozostały tam na stałe.

jak mogę to zrobić?