在 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 库。