Prolog：简单 DCG a^nb^n

Question

我一直试图习惯在 Prolog 中使用 DCG，但失败了。

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

例如 aaaabbbb 或 ab 等...

谢谢:)。

Answer 1

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