将事实附加到现有的prolog文件中

Question

我无法在现有的Prolog文件中插入事实，而不会覆盖原始内容。

假设我有一个文件test.pl：

:- dynamic born/2. 

born(john,london).
born(tim,manchester).

如果我在prolog中加载它，我断言更多事实：

| ?- assert(born(laura,kent)).
yes

我知道我可以通过以下方式保存：

|?- tell('test.pl'),listing(born/2),told.

哪个有效，但test.pl现在只包含事实，而不是“： - dynamic born / 2”：

born(john,london).
born(tim,manchester).
born(laura,kent).

这是有问题的，因为如果我重新加载此文件，我将无法再将任何事实插入test.pl，因为“： - dynamic born / 2。”不再存在了。

我在某处读到了，我能做到：

append('test.pl'),listing(born/2),told.

应该只是附加到文件的末尾，但是，我收到以下错误：

! Existence error in user:append/1
! procedure user:append/1 does not exist
! goal:  user:append('test.pl')

是的，我正在使用Sicstus prolog。这有什么不同吗？

谢谢！

Answer 1

它只包含事实并不奇怪，因为这就是你告诉它要保存的全部内容。最简单的方法是使用

|?- tell('test.pl'), write(':- dynamic born/2.'), nl, listing(born/2), told.

或写一个执行此操作的小程序。根据您打算如何使用此功能，您可以考虑使用save_program/1/2和restore/1。

我无法帮助你append/1我害怕。