Пролог: Простая DCG a ^ nb ^ n

Question

Я пытался привыкнуть к использованию DCG в Прологе и терпел неудачу.

Как определить набор правил грамматики для принятия языка a ^ n b ^ n?

например. aaaabbbb или ab и т.д ...

Спасибо:).

Answer 1

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