我正在尝试用Prolog编写一个自适应解析器：换句话说，就是一个能够在运行时修改自身解析规则的解析器。

为了实现这一点，我需要在运行时生成新的谓词，但我不知道这是否可行。是否可以编写一个谓词，它可以接受这样的列表：

generate_dcg_rule([A," is greater than ",B]).

…然后生成这样的新谓词？

expr(A," is greater than ",B) -->    symbol(A)," is greater than ",symbol(B).

回答：

是的，这很容易实现。

Prolog是一种非常动态的语言，你可以使用例如assertz/1在运行时添加任意子句。

你可以使用Prolog的术语扩展机制将DCG规则扩展为普通的Prolog规则，这种机制通常用于此目的。

例如，使用expand_term/2：

?- expand_term((expr(A," is greater than ",B) -->    symbol(A)," is greater than ",symbol(B)), Clause).Clause =  (expr(A, [' ', i, s, ' ', g, r, e|...], B, _G242, _G253):-symbol(A, _G242, _G264), _G264=[' ', i, s, ' ', g|...], symbol(B, _G275, _G253)).

你可以使用assertz/1来添加这样的子句：

?- expand_term((Head --> Body), Clause), assertz(Clause).

请注意，在这个例子中，我使用了double_quotes设置为chars，即使用：

:- set_prolog_flag(double_quotes, chars).

在你的源文件中。这样做无论如何都是一个好主意。

还请注意，我假设你已经找到了将你在generate_dcg_rule/1示例中提供的列表转换为实际DCG的方法。对于这种转换，我更推荐使用类似list_dcg/2的谓词，它声明性地描述了这些列表与DCG规则之间的关系。这样做的优势很明显：你可以例如测试这样的关系，并通过交互式和测试用例等进行测试。对于你的具体例子，定义这种关系的一个子句可能类似于：

list_dcg([A,Ls,B], DCG) :-        Ls = "is greater than ",        DCG = (expr(A, Ls, B) --> symbol(A), Ls, symbol(B)).

我将如何推广这一方法以适应你的其他用例留作练习。总的来说，动态添加这样的子句的一种方法是：

?- list_dcg(List, DCG), expand_term(DCG, Clause), assertz(Clause).

请注意，在这样的例子中，我们如何从Prolog的同像性中受益：Prolog规则和DCG规则都有作为Prolog术语的自然表示，我们可以简单地将它们写下来，并像处理其他术语一样在目标中对它们进行推理。