如何將計算結果寫入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).