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

【问题标题】：How do I write every fact of a certain term to a file?如何将某个术语的每个事实写入文件？
【发布时间】：2011-04-16 17:21:00
【问题描述】：

我正在尝试将结果写入文件。我正在使用 GNU Prolog（或者更确切地说，用于 Java 的 GNU Prolog）

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

我在这里：

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

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

请帮忙。

【问题讨论】：

“请帮忙。”您的问题是什么？

标签： java stream prolog logic gnu

【解决方案1】：

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

【讨论】：

【解决方案2】：

可能是这样的：

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

这适用于 SWI-Prolog，我不确定 GNU Prolog。

【讨论】：