如何不使用phrase子句直接调用Prolog中DCG转换的普通子句

DCG展开得到的双参数palindrome(S0, S)，参数语义是固定的：

• S0：进入规则时，待消费的剩余字符序列
• S：规则匹配走完后，仍然没被消费的剩余字符序列

这个谓词本身只表示「S0到S之间夹的那段子串符合回文规则」，不会自动把传入的整串全部消费完。
之前执行?- palindrome([1,2],X).得到X = [1,2]，本质是直接命中了展开后的第一个子句palindrome(A,A)：匹配过程完全不消费字符，剩余串和初始串完全相等，根本没有遍历整串做回文判断。

内置phrase(NonTerminal, 目标串)的核心逻辑，就是对DCG展开的双参数谓词做固定的参数绑定：

• 把待匹配的完整目标串传给第一个参数S0
• 把空列表[]传给第二个参数S，代表规则走完后没有剩余字符，即整串被规则完全消费

两组对应查询的效果完全一致：

1. 原phrase查询

?- phrase(palindrome, [1,2,1]).
true

等价的底层直接调用（无phrase）：

?- palindrome([1,2,1], []).
true

2. 原带自由变量的phrase查询

?- phrase(palindrome, [1,2,X]).
X = 1

等价的底层直接调用：

?- palindrome([1,2,X], []).
X = 1

如果调用时像之前那样把第二个位置留成自由变量，比如palindrome(输入串, 剩余串)，本质上是让Prolog查找「输入串中存在哪段子串是回文」，而非判断「整串是否为回文」——这也是一开始返回“无消费匹配”的原因，因为空串本身就是合法的回文。

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