在Prolog中读取一个字符串(来自文件)

Question

我在Prolog中写了一个词法分析器和一个解析器.它将字符串与其AST统一起来.这是我正在进行的编译器/解释器项目的一部分.当然,我现在想从文件中读取字符串来解析它.但是,我发现的这个谓词是读取的,它只读取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]).

当然,也可以从文件而不是标准输入读取.有关更多信息,请参阅readutil库.