From the title I expected this to be about differentiating DCG grammars themselves. That is actually a technique for matching regular expression [1]; now I wonder can it also be applied to DCGs (or a restricted form like PEGs).

[1] https://en.wikipedia.org/wiki/Brzozowski_derivative