Выводы:

• Список – это перечень произвольного числа элементов, разделенных пробелами, заключенный в круглые скобки.
• Элементы списка могут быть любой природы.
• S-выражение - это или атом или заключенная в скобки пара из двух S-выражений, разделенных точкой. Список – частный случай S-выражения.
• Любое S-выражение может быть построено из атомов с помощью CONS и любая его часть может быть выделена с помощью CAR-CDR.
• Для изображения S-выражений используют различные нотации: графическую, точечную и списочную.
• Базис Лиспа содержит элементарные функции CAR, CDR, CONS, EQ, ATOM.