14. Символьное сопоставление с образцом

Сопоставление с образцом - это процесс сравнения символьных выражений с тем, чтобы выяснить аналогичны ли они. Задача настоящей главы - построить некоторые функции для сопоставления с образцом и рассмотреть примеры, показывающие, что способность к сопоставлению может оказаться ключевым элементом при решении задач, которые иначе выглядят громоздкими и сложными. Рассмотрим, например, программу ДОКТОР, одну из наиболее известных развлекательных программ. Эта программа способна участвовать в диалоге следующего типа:

Можно подумать, что написание такой программы будет грандиозным мероприятием. Однако впечатление о том, что вычислительная машина понимает, вытекает лишь из ловкого использования ключевых слов, а не из глубокого анализа того, что было сказано. Функции сопоставления с образцом сводят вещи, подобные исходному варианту программы ДОКТОР, к нескольким строкам программы.