如何将某个术语的每个事实写入文件？

Question

我正在尝试将结果写入文件。我正在使用 GNU Prolog（或者更确切地说，GNU Prolog for Java）来完成此操作，

我有一组事实 some(a)、something(b)、something(c)，并且我想将它们全部写入一个文件。

我在这里：

testStreams :-
open('gnuprologstream.test',write,FileStream),
(
    something(X),
    write_term(FileStream,something(X),[]),
    fail
);
write(done),
close(FileStream).

我可能只是太累了，无法正常思考。

请帮忙。

Answer 1

testStreams :-
open('gnuprologstream.test',write,FileStream),
(
something(X),
write_term(FileStream,something(X),[]),
fail;
write(done)
),
close(FileStream).

Answer 2

也许是这样的：

?- tell('gnuprologstream.test'), listing(something), told.

这在 SWI-Prolog 中有效，我不确定 GNU Prolog 是否有效。