如何将某一项的每一个事实写入文件

Question

我正试图将我的结果写入文件。我正在用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).

我可能太累了，想不清楚了。

请帮。

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。