How do I write every fact of a certain term to a file?

I'm trying to write my results to a file. I'm doing this with GNU Prolog (or rather, GNU Prolog for Java)

I have a set of facts something(a),something(b),something(c), and I want to write all of them to a file.

I'm here:

testStreams :-
open('gnuprologstream.test',write,FileStream),
(
    something(X),
开发者_Go百科    write_term(FileStream,something(X),[]),
    fail
);
write(done),
close(FileStream).

I'm probably only too tired to think straight.

Please help.

---

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

---

Maybe like this:

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

This works in SWI-Prolog, I'm not sure about GNU Prolog.