如何使用 Prolog 中的读取谓词读取 .txt 文件中的所有组装谓词？

Question

这是带有汇编谓词的 .txt 文件：

brz END //comment
sub ONE
sta SECOND
lda RESULT //comment
add FIRST
bra LOOP

我们必须加载和读取 .txt 文件，我们必须删除 cmets 并创建一个指令列表，如下所示：

L=[brz END,sub ONE,...]

Answer 1

在像 Python 这样的传统语言中，您可能会想用这样的方式来解决这个问题：

result = []
for line in open('file.txt'):
   line = re.replace(line, '//.*', '')
   result.append(line)

在 Prolog 中，您会发现为您的输入编写一个完整的 DCG 会更简单，就像它是一个语法一样。在核心中拥有一个更强大的解析框架在某种程度上阻止了 Prolog 开发一个庞大而复杂的字符串和字符碰撞函数套件。因此，我希望 即使您确实 解析为字符串，您也会再次被卡住，但是由于缺少正则表达式库或对字符串进行切片和切块的方法，而这些方法并不存在。

与 Prolog 中的所有内容一样，它比您可能习惯的要冗长，但有一些优势可能从一开始就并不明显。这是我为你的玩具问题想出的代码（我花了大约 15 分钟。）

:- use_module(library(pio)).
:- use_module(library(dcg/basics)).

comment --> "//", string_without("\n", _).
comment --> [].

optarget(A) --> string(S), { atom_codes(A, S) }.

instruction(inst(Op, Target)) --> optarget(Op), " ", whites, 
                                  optarget(Target), whites, comment, "\n".

instructions([Inst|Rest]) --> instruction(Inst), instructions(Rest).
instructions([]) --> [].

这会将您的示例解析为如下内容：

?- phrase_from_file(instructions(Inst), "test.txt").
Inst = [inst(brz, 'END'), inst(sub, 'ONE'), inst(sta, 'SECOND'), 
        inst(lda, 'RESULT'), inst(add, 'FIRST'), inst(bra, 'LOOP')] .

您不应该将 dcg/basics 用于与 HTTP 无关的事情，从而感到自己在“滥用”它。该库是在一段时间前提取的，因为它具有一般用途。

• 我在这里使用whites 来丢弃空格，但因为它会成功，所以你需要在两个 optarget 调用之间显式空格
• 除了optarget//1，您还可以做更多有趣的事情，例如仅解析您的真实指令或仅解析您的真实参数，但我不知道它们是什么，所以您在这里得到了原子
• 当您的指令需要更多参数时，您可以添加额外的instruction//1 规则来单独处理它们。无论如何，这可能就是我会做的事情
• 如果您意识到不同的表示将更有利于下游处理，通过更改instruction//1 或instructions//1 应该很容易实现