end_of_file文字
MINERVA superseeded IF/Prolog. Please see http://www.ifcomputer.co.jp/MINERVA for details.

We discontinued to sell IF/Prolog Dec 31. 2003. For current customers, we continue to provide professional support for IF/Prolog until Dec 31, 2008.

ファイルの終了は、文字通り"end_of_file."と入力することによって設定されます。IF/Prologは、end_of_file以後は何も読み込みません。IF/Prologは、end_of_file文字のASCII値としてASCII 26を使用します。

インタプリタレベルでのend_of_fileは、break/0, bye/0, end/0と同様に、IF/Prologに現在のインタプリタル−プを終了させます。

UNIX: end_of_file文字は、" D"(UNIX)、" Z"(VMS)、あるいはあなたのオペレ−ティングシステムによって定められている他の文字です。ですから、"end_of_file."という長い語を入力する必要はありません。　

MS-DOS: キ−ボ−ドのF10キ−にコマンドend_of_fileを再設定するといいでしょう。そうすれば、以下のように"F10"を打つと"end_of_file."が画面に表示されます。

?- write( '\e[0;68;"end_of_file.";13p' ).

yes ?- [user]. ｜ def_pred(X,Y) :- predicate X/Y. ｜ end_of_file. consult: file stdin consulted in 20 sec.

yes ?-

Up read on...