簡単にできるはずの何かで頭を壁にぶつけているような気がします。おそらく私のアプローチは間違っています。Prolog の I/O の背後にある概念を理解しているような気がしません。(例: ストリーム エイリアスと open/3 によってバインドされた変数の違いは何ですか?) しかし、私は脱線します:
GNU Prologでファイルを1行ずつ読み取るにはどうすればよいですか? (したがって、SWI が持っている便利な関数にアクセスすることはできません。) get_char/1 と peek_char/1 (終了改行をチェックするため) に関係があると思いますが、実行可能な解決策を実装する私の試みはこれまでのところ失敗しています。
これが私が得た限りです:
readl_as_list(ID, X):-
current_input(ID),
readl_as_list(X).
readl_as_list([X]):-
(peek_char(NextChar), ==(NextChar, '\n');
get_code(Char1),
append([X], [Char1], X),
readl_as_list(X)).
printl_list([]):-
!, nl.
printl_list([H|X]):-
put_code(H), printl_list(X).
これをインタープリターにロードすると、次のようになります (読みやすくするために空の行は削除されています)。
| ?- open('word_list.txt', read, ID).
ID = '$stream'(2)
yes
| ?- readl_as_list(ID, X).
ID = '$stream'(0)
X = [_] ?
% (interpreter pauses until I press return)
yes
| ?- printl_list(X).
X = []
yes
行は必ずしも文字リストとして読み込まれる必要はありませんが、私の目標は特定の条件 (たとえば、文字の繰り返しがない) に一致する単語のリストを検索することであるため、それが最も賢明な方法のように思われました。それ。