prolog - プロローグ：単純なDCG a ^ nb ^ n

Question

私はPrologでDCGを使用することに慣れようとして失敗しました。

言語a^nb ^ nを受け入れるための一連の文法規則を定義するにはどうすればよいですか？

例：aaaabbbbまたはabなど..

ありがとう ：）。

Answer 1

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