$PROROOT/library/io/readinのディレクトリには、以下の述語が定義されています。これらはすべて、なんらかの入力に関係しています。

ask.proには、ユーザーが質問に答えることができるようにする以下の手続きが定義されています。

ask(+質問,-回答) 「質問」をスクリーンに表示し、1文字の「回答」を読む。

ask(+質問,+デフォルト,-回答) ask(+質問,-回答)と同様だが、改行のみが入力された時は、「デフォルト」が返る。

yesno(+質問) 「質問」の答が、yあるいはYであれば成功し、nあるいはNであれば失敗する。

yesno(+質問,+デフォルト) yesno(+質問)と同様だが、改行のみが入力された時は、「デフォルト」が使われる。

readin.proファイルは、文字を文に変換するために、文字の読み込みを処理する。

readin.proファイル ------------------

read_in(-単語) 1行を読み込み、文法規則を使用して、「単語」のリストに変換する。

readsent.proファイル --------------------

read_sentence(-トークンリスト) 文字を読み、文のトークンのリストを戻す。

read_until(+区切り記号リスト,-回答) 「区切り記号リスト」中の文字が見つかるまで文字を読み、「回答」を戻す。

trim_blanks(+入力,-出力) 「入力」より先頭と末尾のレイアウト文字を取り去る。