Prologで計算結果をファイルに書き込む方法は？

Question

私は次のことをしようと、プロローグ内のテキストのファイルに計算の結果をエクスポートする：

私は次のプログラム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のトップレベルの別の呼び出しで変数を再利用する場合は、その変数に接頭辞として$を付ける必要があります。あなたの例：

使用すると、1つ2つの呼び出しを行う場合、これはPrologの組み合わせ（ ,）を使用して、必要とされていない

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

：

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

を