如何在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).