Объекты данных Лиспа

Определение S-выражения является рекурсивным и очерчивает круг объектов Лиспа, а именно, ими могут быть только атомы и списки.

Объекты могут быть двух типов: простыеи составные.

Простые объекты называются атомами. К атомам относятся символы и числа. Символ не может начинаться с цифры. muLisp не различает маленькие буквы, а заменяет все введенные буквы на заглавные. Атом является неделимым, т.е. его нельзя разбить на компоненты. Символы T и NIL имеют в ЛИСПе специальное назначение: они обозначают соответственно логические значения истина и ложь. Они должны всегда иметь одно фиксированное значение и не допускается их использование в качестве имен других объектов. Числа и логические значения T и NIL являются константами, все другие символы – переменными.

Составными объектами данных являются списки. Список включает нуль (пустой список) или больше объектов, каждый из которых может быть как простым, так и составным. Списки записывают в скобках, а их элементы разделяются пробелами.

Так (FACE LOOK NOSE) является списком, который состоит из трех атомов. Пустой список обозначается как (), так и NIL и является атомом.

Список называется линейным, если его элементы являются атомами. Иначе говорят о списках с подсписками, например: (7 (8 9) TR).