4.5. Засоби документування програми

Для документування процесу розробки бази знань можна застосовувати структурні діаграми. Діаграма – це засіб аналізу й наочного подання складених структур. Існує два види структурних діаграм: предикатні структурні діаграми (ПСД) і доменні структурні діаграми (ДСД). Використовуємо їх для наочного опису бази знань про регіони України (ПСД – рис. 7, ДСД – рис. 8, 9).

Рівень 0 предикат (головний функтор)

Р івень 1

назва

населення

столиця

площа

міста

регіони

країна

Р

назва

населення

площа

івень 2

назва

населення

площа

Рис. 7. Предикатна структурна діаграма “країна”

місто

Домен

місто

Рівень 0

назва

населення

площа

Рівень 1

Рис. 8. Доменна структурна діаграма “місто”

Слід визначити, що ДСД – компонент ПСД. Подібні діаграми корисні для подання компонентів струкутур. Верхні рівні показують загальні риси структури, а нижні деталізують уяввлення про неї. ПСД і ДСД – зручний засіб документування процесу розробки програм на ТP. Вони також можуть надати допомогу при написанні ефективних правил.

регіон

Домен

область

Рівень 0

Рівень 1

назва

населення

столиця

площа

назва_міст

назва_регіонів

Рис. 9. Доменна структурна діаграма “регіон”

4.6. Типи й властивості відношень предметної області

Фрази ПРОЛОГ-програми застосовуються для подання відношень між термами. Терми вживаються для подання сутностей предметної області. Тому для підвищення ефективності програми спочатку доцільно проаналізувати відношення, що зустрічаються в предметній області, а потім прийняти розв’язок про те, як подати кожен тип відношень за допомогою фраз ПРОЛОГу. Знання властивостей відношень забезпечить коректне описання предметної області й оптимізацію обробку запитів.

Для простоти будемо розглядати тільки відношення між двома аргументами (тобто бінарні відношення). У принципі такий аналіз можна поширити і на відношення з більшею кількістю аргументів.