Лабораторная работа №4. Объектное программирование в CLIPS

Использование объектно-ориентированных средств в CLIPS

Использование объектно-ориентированных средств в CLIPS позволяет значительно упростить программирование правил, поскольку для обновления данных можно применять механизм передачи и обработки сообщений методами классов.

Общий синтаксис определения класса выглядит следующим образом:

 

(defclass <name> [<comment>]

(is-a <superclass-name>+)

[<role>]

[<pattern-match-role>]

<slot>*

<handler-documentation>*)

<role>::= (role concrete | abstract)

<pattern-match-role>

::= (pattern-match reactive | non-reactive)

<slot>::= (slot <name> <facet>*) |

(single-slot <name> <facet>*) |

(multislot <name> <facet>*)

<facet>::= <default-facet> | <storage-facet> |

<access-facet> | <propagation-facet> |

<source-facet> | <pattern-match-facet> |

<visibility-facet> | <create-accessor-facet>

<override-message-facet> | <constraint-attributes>

<default-facet>::=

(default ?DERIVE |?NONE | <expression>*) |

(default-dynamic <expression>*)

<storage-facet>::= (storage local | shared)

<access-facet>

::= (access read-write | read-only | initialize-only)

<propagation-facet>::= (propagation inherit | no-inherit)

<source-facet>::= (source exclusive | composite)

<pattern-match-facet>

::= (pattern-match reactive | non-reactive)

<visibility-facet>::= (visibility private | public)

<create-accessor-facet>

::= (create-accessor ?NONE | read | write | read-write)

<override-message-facet>

::= (override-message ?DEFAULT | <message-name>)

<handler-documentation>

::= (message-handler <name> [<handler-type>])

<handler-type>::= primary | around | before | after

 

Наследование

Если класс Б наследуется от А, то Б является потомком А, а А – родителем Б. Каждый создаваемый пользователем класс должен быть напрямую унаследован хотя бы от одного класса (обычно от OBJECT). Случай прямого наследования от более чем одного класса называется множественным наследованием. Новый класс наследует слоты и сообщения от своих родителей. При множественном наследовании необходимо учитывать следующие правила:

1. Класс имеет более высокое старшинство, чем его родители

2. В списке классов-родителей классы должны располагаться по старшинству

3. При конфликте имен слотов или сообщений выбирается слот или сообщение более старшего класса.

Пример 1

(defclass A (is-a USER))

Класс A является прямым наследником класса USER. Список старшинства классов для A: A USER OBJECT.

Пример 2

( defclass B (is-a USER))

Класс B является прямым наследником класса USER. Список старшинства классов для B: B USER OBJECT.

Пример 3

(defclass C (is-a A B))

Класс C является прямым наследником классов A и B. Список старшинства классов для C: C A B USER OBJECT.

Пример 4

(defclass D (is-a B A))

Класс D является прямым наследником классов A и B. Список старшинства классов для D: D B A USER OBJECT.

Пример 5

(defclass E (is-a A C))

В соответствии с правилом 2, A долже быть старше C. В нашем случае, C – это потомок A и является более сташим в соответствии с правилом 1. Ошибка.

Пример 6

defclass E (is-a C A))

Правильное определение класса из примера 5. Список старшинства для E: E C A B USER OBJECT.

Описатели классов

Абстрактные и конкретные классы

Абстрактный класс предназначен только для наследования, на его основе не могут создаваться экземпляры. На основе конкретного класса могут создаваться его экземпляры.

Слоты

Слот – это место для хранения значений поля класса. Каждый экземпляр класса содержит копию всех слотов своего родителя. Количество слотов класса ограничено только размером свободной памяти, имя слота – любой набор символов, за исключением зарезервированных слов. Потомок класса содержит слоты родителя. В случае конфликта имен слотов, он разрешается в соответствии с правилом старшинства.

 

Пример.

(defclass A (is-a USER)

(slot fooA)

(slot barA))

 

(defclass B (is-a A)

(slot fooB)

(slot barB))

 

Список старшинства для A: A USER OBJECT. Экземпляр класса A будет иметь 2 слота: fooA и barA. Список страшинства для B: B A USER OBJECT. Экземпляр класса B будет иметь 4 слота: fooB, barB, fooA, barA.

Для каждого слота может быть определен набор фасетов. Фасеты описывают различные свойства слотов: значения по умолчанию, вид хранения, видимость и т.п. Более подробно фасеты будут рассмотрены ниже.

Создание экземпляра класса производится командой (make-instance a of A) – создается экземпляр с именем а класса А. Другой вариант (создание массива экземпляра классов):

(definstances my_inst

(a of A)

(b of A)

(c of A)

)