Определение 15.71. Функция get-defclass-list

(get-defclass-list [<имя-модуля>])

Для определения модуля, в котором указан заданный класс, служит функ­ция defclass-module.

Определение 15.72. Функция defclass-module

(defclass-module <имя-класса>)

CLIPS предоставляет несколько предикатных функций, предназначенных для анализа свойств заданного класса. Синтаксис этих классов приведен ниже.

Определение 15.73. Предикатные функции для анализа свойств класса

(class-existp <имя-класса>)

(class-abstractp <имя-класса>)

(class-reactivep <имя-класса>)

(superclassp <имя-класса1> <имя-класса2>)

(subclassp <имя-класса1> <имя-класса2>)

Функция class-existp возвращает значение true, если заданный класс оп­ределен в системе, и значение false, если это не так. Функции class-abstractp и class-reactivep предназначены для проверки, является ли за­данный класс абстрактным и участвует ли он в процессе сопоставления об­разцов. В случае положительного результата проверки функции возвращают значение true, иначе — false. Предикатная функция superclassp проверяет, является ли класс, заданный первым параметром, суперклассом класса, за­данного вторым параметром, т. е. первый класс унаследован от второго. Аналогично функция subclass проверяет, является ли класс, заданный пер­вым параметром, подклассом класса, заданного вторым параметром, т. е. первый класс является предком второго.

Для проверки существования заданного слота у некоторого класса предна­значена функция slot-existp. Она возвращает значение true в случае положительного результата проверки и значение false, если это не так. Если при вызове функции указан необязательный параметр inherit, слот может быть унаследован от какого-нибудь суперкласса. В противном случае он должен быть определен непосредственно в проверяемом классе.

Определение 15.74. Функция slot-existp

(slot-existp <имя-класса> <имя-слота> [inherit])

Для проверки некоторых свойств отдельных слотов CLISP предоставляет несколько функций, синтаксис которых приведен ниже.