Глава 6. Простые и составные объекты 116

Простые объекты данных. 116

Переменные как объекты данных. 116

Константы как объекты данных. 116

Литеры. 116

Числа. 117

Атомы. 117

Составные объекты данных и функторы 118

Унификация составных объектов. 118

Использование знака равенства для унификации составных объектов. 119

Рассмотрение нескольких значений как единое целое. 119

Примеры использования функторов. 120

Пример использования составных объектов. 121

Упражнение. 124

Объявление доменов составных объектов. 124

Запись определений доменов: Обзор. 125

Многоуровневые составные объекты. 126

Пример, иллюстрирующий структуру предложения. 126

Упражнения. 127

Определения составных смешанных доменов. 127

Аргументы множественных типов. 128

Списки 128

Сравнение составных объектов. 129

Обзор 130