#39;ям і значенням. Імена слотів призначаються проектувальниками БЗ. Однак FRL має також і зарезервовані імена слотів: АКО, INSTANSE, CLAS SIFICATON. Як значення слотів можуть виступати числа, символи, імена інших фреймів, імена процедур. p align="justify"> Важливою властивістю FRL є наявність в ньому вбудованого механізму В«наслідування властивостейВ». Суть цього механізму полягає в наступному. Всі поняття предметної області в БЗ організовуються у вигляді ієрархічної класифікаційної системи, де кожне поняття зв'язується за допомогою спеціальних відкладень з більш конкретними. Для реалізації цих відкладень існують слоти АКО і INSTANSE. Слот АКО пов'язує поняття з більш загальним (родовим). Слот INSTANSE пов'язує поняття з більш конкретним (видом). Властивості властиві всьому класу, описують тільки у фреймі класу, а решта фрейми цього класу можуть успадковувати це властивість у випадку потреби. p align="justify"> Процедури обробки FRL поділяються на незалежні і приєднані. Незалежно від типу ці процедури пишуться зазвичай на мові реалізації самого FRL. На сьогоднішній день більшість FRL - систем написані на LISP. p align="justify"> Останнім часом до розробки ЕС все частіше став залучатися мова програмування Пролог. Своє найменування Пролог отримав від скорочення В«Програмування логікиВ» (PRogramming in LOGic). Математичної основою Прологу є обчислення предикатів переважно першого порядку, метод резолюції Робінсона, теорія рекурсивних функцій. p align="justify"> Основний конструкцією мови (у формі, прийнятої для Прологу), є імплікація:
А? В1, В2, ...., Вn, звана правилом, де А1, В1, В2 ...., Вn - предикати. p align="justify"> Сенс її такий В«А істинно, якщо істинно В1 і істинно В2 і ... і істинно ВnВ».
Існуючі системи програмування Прологу мають великий набір В«вбудованихВ» предикатів (тобто предикатів, що розуміються самим Прологом), які забезпечують виконання арифметичних операцій, строковую (символьну) обробку, функції введення-виведення і цілий ряд специфічних функцій. За рахунок наявності вбудованих предикатів мову Пролог можна віднести до універсальних мов програмування і навіть до мов системного програмування. p align="justify"> Найважливішою особливістю мови Пролог є наявність реляційної бази даних, причому доступ та робота з реляційними відносинами занурені в сам Пролог. Для користувача ці відносини існують лише у вигляді предикатів. Зазначене властивість робить Пролог дуже зручним засобом для опису організаційних і технологічних структур. Так, на Пролозі ефективно реалізуються завдання підсистеми В«КадриВ», що видають всіляку інформацію про кадровій структурі підрозділів і про підприємство в цілому. Зручно використовувати Пролог і для опису технологічної схеми виробництва з безліччю взаємозв'язків окремих вузлів (установок) з матеріальних, енергетичних, інформаційних та інших потоків. p align="justify"> В даний час створена велика кількість різних за ефек...
