Prolog: Simple DCG a^n b^n

Question

I've been trying to get used to using DCGs in Prolog and failing.

How can I define a set of grammar rules to accept the language a^n b^n?

E.g. aaaabbbb or ab etc...

Thanks :).

Answer 1

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