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

我正在尝试将结果写入文件。我使用GNU Prolog（或者更确切地说，GNU Prolog for Java）来实现这一点

我有一组事实，一些（a），一些（b），一些（c），我想把它们都写到一个文件中

我在这里：

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

我可能太累了，想不清楚

请帮忙。

可能是这样的：

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

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

“请帮助。”你有什么问题？

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