Глава 5

Структура пространства поиска

Составными частями пространства поиска служат экземпляры классов. В общем случае, пространство поиска развёртывается динамически, в ходе исполнения программы.

Ссылки: исполнение программы 4, мир 5.1.

5.1Экземпляры классов

Экземпляр класса («мир») — это конкретное применение класса. В состав экземпляра класса входят:

1.Предложения класса, а также предложения его предков.

2.Слоты экземпляра класса.

Слот — это составная часть экземпляра класса, характеризуемая именем и значением. Именем слота является некоторый атрибут, а значением слота

— терм.

Построение экземпляров классов происходит в результате доказательства утверждений об их существовании — конструкторов.

Мир B называется вложенным по отношению к миру A, если конструктор мира B является инициализатором некоторого слота мира A или какоголибо мира E, вложенного по отношению к A.

Пример. Наследование предложений класса.

Экземпляр класса ’CHERRY’ содержит предложения colour и taste, определённые в классах ’CHERRY’ и ’FRUIT’.

37