如何使用expand_term/2批量转换Prolog文件中全部DCG为普通确定子句

你可以通过自定义一个文件处理谓词，一次性完成整份Prolog文件的DCG转换，无需手动处理每条规则，具体操作如下：

1. 写入转换谓词 #

将以下代码复制到你的Prolog运行环境中（SWI-Prolog可直接运行，其他Prolog实现只需微调文件操作接口即可）：

:- use_module(library(readutil)).

% 入参：输入文件路径、输出文件路径
convert_dcg_file(InputPath, OutputPath) :-
    open(InputPath, read, InStream),
    open(OutputPath, write, OutStream),
    repeat,
    % 逐行读取术语
    read_term(InStream, Term, []),
    (   Term == end_of_file
    % 读取到文件末尾则关闭流退出
    ->  close(InStream),
        close(OutStream),
        !
    ;   % 展开术语（DCG会被转成普通子句，非DCG内容原样保留）
        expand_term(Term, ExpandedTerms),
        (   is_list(ExpandedTerms)
        ->  maplist(write_term(OutStream, [quoted(true), fullstop(true), nl(true)]), ExpandedTerms)
        ;   write_term(OutStream, ExpandedTerms, [quoted(true), fullstop(true), nl(true)])
        ),
        fail
    ).

2. 执行批量转换 #

在Prolog交互终端执行以下调用即可，示例中输入文件为temp.pl，转换后内容输出到converted_temp.pl：

?- convert_dcg_file('temp.pl', 'converted_temp.pl').

说明 #

• 转换后的文件会自动保留所有非DCG的普通子句，DCG规则会被展开为你手动调用expand_term/2得到的标准确定子句，同时包含non_terminal/1声明
• 若不需要输出到文件，只需修改代码中的写流部分为控制台输出，即可直接打印转换结果
• 若执行时提示文件找不到，可先用working_directory/2查看当前工作目录，将文件放在对应路径下，或者传入绝对路径即可

内容的提问来源于stack exchange，提问作者Chr