将查询结果写入prolog中的文件

Question

这是我的prolog数据库代码。

:-
    dynamic myTable/2.

init :-
    removeAll,
    asserta(myTable('avalue', 'another value')),
    asserta(myTable('avalue1', 'another value 1')),
    asserta(myTable('avalue2', 'another value 2')),
    asserta(myTable('avalue3', 'another value 3')),
    asserta(myTable('avalue4', 'another value 4')).

read(Col1, Col2) :-
    myTable(Col1, Col2).

saveQueries(FileName) :-
    tell(FileName).

stopSavingQueries :-
    told.

我想开始将prolog输出保存到文件中。对动态数据库进行一些查询，该数据库应保存到文件中，然后停止保存查询。它看起来像这样

?- init.
true.

?- saveQueries('queries.txt').
true.

?- read(Col1, Col2).
...
?- stopSavingQueries.
true.

当我运行此代码文件时，queries.txt已创建。当我运行read(Col1, Col2).时，我在控制台中看到输出，文件queries.txt仍为空。

Answer 1

谷歌搜索了一段时间后，我找到了这个解决方案。

saveQueries(FileName) :-
    protocol(FileName).

stopQueriesSaving :-
    noprotocol.

然后我可以这样做

?- saveQueries('queries.txt').
true.

/* execute some queries here */

?- stopQueriesSaving.
true.

执行这些命令后，我有一个文件queries.txt，其中包含所有查询及其结果。