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



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

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

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

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

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

Мир В называется вложенным по отношению к миру А, если конструктор мира В является инициализатором некоторого слота мира А или какого-либо мира Е, вложенного по отношению к А.

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

Экземпляр класса 'CHERRY' содержит предложения colour и taste,
определённые в классах 'CHERRY' и 'FRUIT'.
class 'FRUIT':
[
taste('sweet').
taste('sour').
]
class 'CHERRY' specializing 'FRUIT':
[
colour('red').
]



Содержание