如何将计算结果写入Prolog中的文件？

Question

我希望将计算结果导出到Prolog中的文本文件，尝试以下操作：

我编译以下程序test.pl ：

write_to_file(File, Text) :-
   open(File, write, Stream),
   write(Stream, Text), nl,
   close(Stream).

我执行以下操作：

Y is 2**10000.

最后：

write_to_file('test.txt',Y).

但是文件test.txt的内容如下：

_306

我究竟做错了什么？

Answer 1

如果要在对Prolog顶层的其他调用中重用变量，则需要在变量前加上$字符。 例如：

?- Y is 2**10000.
?- write_to_file('text.txt', $Y).

如果使用Prolog连词（ , ）一次进行两个调用，则不需要此操作：

?- Y is 2**10000, write_to_file('text.txt', Y).