Формальный язык an b2m c2m dn содержит все строки в следующей форме: повторение символов a, за которыми следует повторение символов b, затем повторение символов c и повторение символов d, так, что длины блоков a и d одинаковы, а длины блоков b и c тоже равны, но в 2 раза длиннее рассмотренных ранее. Например, цепочки abbccd и aabbbbccccdd принадлежат описываемому языку. Описать КС-грамматику и распознаватель на Прологе.