在Prolog中扩展DCGs

Question

我正在编写一个代码生成器，它将确定子句语法转换为其他语法符号。为此，我需要扩展语法规则：

:- initialization(main).

main :- 
        -->(example,A),writeln(A).
% this should print ([a],example1), but this is a runtime error

example --> [a],example1.
example1 --> [b].

但是-->(example, A)并没有扩展规则，尽管这里似乎定义了-->/2。还有其他方法来访问DCG语法规则的定义吗？

Answer 1

这是一个猜测你的期待和为什么你有一个问题。这只是困扰我，因为我知道你是聪明的，应该能够连接点从评论。(当这篇文章发布时，评论被删除了，但OP确实看到了。)

这非常特定于SWI。

当加载Prolog代码时，它会自动进行术语扩展，正如expand.pl中所指出的。

任何带有-->的子句都将根据细则/2的规则进行扩展。因此，当在代码加载后在代码上使用清单/1时，带有-->的子句已经展开。所以AFAIK您不能看到([a],example1)，它是加载前的代码，然后是术语扩展，而example([a|A], B) :- example(A, B)是加载和术语扩展后的代码。

按照您的要求获得代码的唯一方法是在加载期间关闭术语展开，但是应该展开的代码不会，代码也不会运行。

您也可以尝试查找加载代码的源代码，但我也认为这不是您想要做的。

基于这个I'm writing a code generator that converts definite clause grammars to other grammar notations.，您可能需要替换dcg_ perhaps _rule/2的代码，或者在加载和术语扩展之前如何拦截代码。

HTH

至于与-->(example,A),writeln(A).相关的错误，这是因为这不是一个有效的DCG子句。

Answer 2

正如您在注释中所写的，如果要将DCGs转换为CHRs，则需要在将DCGs默认扩展为子句之前应用转换。例如，假设代码被保存到一个grammars.pl文件中：

?- assertz(term_expansion((H --> B), '--->'(H,B))).
true.

?- assertz(goal_expansion((H --> B), '--->'(H,B))).
true.

?- [grammars].
[a],example1
true.