string - 将输入流转换为 ASCII : explanation of Prolog code

Question

我正在尝试使用 Prolog 谓词读取字符串并将其转换为 ASCII 值 read_command/1 .

以下代码有效。有人可以解释一下如何理解下面的代码吗？

read_command(L) :- % read_command/1
get0 (C)，
读取命令(_，L，C)。

read_command(_, [], X) :- % 辅助谓词 read_command/3
member (X, `.\n\t`),
! .
read_command(X, [C|L], C) :-
get0 (C1),
读取命令(X，L，C1)。

Answer 1

read_command/1 读取当前输入流中可用的第一个字符，并将其用作前瞻。

read_command/3 只是在前瞻是空白或点时停止。
否则，将前瞻放在列表中，从流中获取新的前瞻，然后递归。

我认为 read_command/3 的第一个子句也应该处理 X 为 -1 的情况，表示文件结束(例如，按 Ctrl+D 后)