从Prolog中读取字符串（从文件中）

Question

我在Prolog中编写了词法分析器和解析器。 它通过其AST统一字符串。 这是我正在从事的编译器/解释器项目的一部分。 自然，我现在想从文件中读取字符串以对其进行解析。 但是，我为此找到的谓词为read ，并且它仅读取Prolog原子和谓词，例如带有

hello.

我一直在搅动double_quotes设置，但没有成功。

我希望能够读取类似这样的文件

let id = \x.x in id (S (S Z))

然后将此字符串发送到解析谓词。

Answer 1

您可以使用read_line_to_codes/2或read_line_to_codes/3 。 下面是一个示例程序，该程序从stdin读取单独的行并将其打印到stdout ：

read_lines([H|T]) :-
  read_line_to_codes(user_input, H), H \= end_of_file, read_lines(T).
read_lines([]).

write_lines([]).
write_lines([H|T]) :-
  writef("%s\n", [H]), write_lines(T).

main :-
  read_lines(X), write_lines(X).

（这使用writef/2进行打印。）还有read_stream_to_codes/2和read_stream_to_codes/3 ，它们与行无关。 以下代码将所有来自stdin的输入一次打印到stdout：

main :-
  read_stream_to_codes(user_input, X), writef("%s", [X]).

当然，也可以从文件中读取而不是从stdin中读取。 有关更多信息，请参见readutil库。