Prolog：简单的DCG a ^ n b ^ n

Question

我一直在尝试习惯在Prolog中使用DCG而失败。

如何定义一组语法规则来接受语言a ^ n b ^ n？

E.g。 aaaabbbb或ab等...

谢谢:)。

Answer 1

ab --> [].
ab --> [a], ab, [b].