get(-表示文字コード) get(+ストリーム,-表示文字コード) get0(-文字コード) get0(+ストリーム,-文字コード) get_until(+終了文字コード_式,-アトム,-最終文字コード) get_until(+ストリーム,+終了文字コード_式,-アトム,-最終文字コード)
get/1は「表示文字コード」を、現在の入力ストリ−ムから、次の空白でない表示可能な文字のASCIIコ−ドに単一化します。
get0/1は、「文字コ−ド」を現在の入力ストリ−ムから、次の文字のASCIIコ−ド(0-255)に単一化します。
get_until/3は、現在入力ストリ−ムから「文字終了文字コード」、あるいはend_of_fileまで読み込みます。
「終了文字コ−ド」は、文字コ−ドの表現でなければなりません。 「アトム」は、読み込まれた文字(アトム)に単一化されます。 「最終文字コ−ド」は、最後に読み込まれた文字(end_of_fileあるいは「終了文字コ−ド」)のASCIIコ−ドに単一化されます。
述語get/2, get0/2, get_until/4は、「ストリーム」を別の入力ストリームとして使用します。
?- get0(N). x (必ず改行して下さい)
N = 120 yes ?- get_until(10,Line,L). see, get_until can read exactly one line
Line = 'see, get_until can read exactly one line' L = 10 yes ?- _
stream_not_open 「ストリーム」が開かれていない atom_expected 「ストリーム」はアトムでなければならない out_of_range 「ストリーム」は、入力用に開かれなければならない
| scroll to top |
|