gn="justify"> Турбо-Пролог має всіма доступними засобами, необхідними для підтримки таких значних за об'ємом інформації БД.
Предикати нерезидентної БД оголошуються в розділі програми database так само, як і предикати резидентної.
database (symbol, symbol, symbol) - test (symbol, symbol, integer) _stud (dbasedom)
Add_exam (test)
Для роботи з записами будь БД можна використовувати свої предикати. І в якості аргументу такого предиката може бути і запис БД. Тоді доменом цього аргумент при описі предиката необхідно вказувати ім'я БД. Наприклад, для додавання записів у нерезидентних БД можна використовувати такі правила. p align="justify"> Add_stud (Term):-Write ( Ведіть шифр ), readln (Code),
Write ( Ведіть ім'я ), readln (Name), ( Ведіть факультет ), (Dep), = stud (Code, Name, Dep), (Term), Asserta (Term). _exam (Term):-Write ( Ведіть Шифр ​​ ), readln (Code), ( Ведіть назву дисципліни ),
Readln (Course),
Write ( Ведіть оцінку ), readln (Mark), = exam (Code, Course, Mark), ( Term), Asserta (Term).
Тут правило Add_stud дозволяє ввести запис (змінна Term) і додати її в резидентну БД dbasedom. А правило Add_exam вводить запис й додає один запис у базу test. p align="justify"> Кормі того, для читання з файлу об'єктів, що відносяться до визначеного у програмі домену, використовується спеціальний предикат readterm. Синтаксис цього предиката
readterm (<ім'я домену>, <значення об'єктів домену>).
Розглянемо, наприклад, предикатное вираз
readterm (test, Term)
Тут, предикат успішний, якщо з встановленого пристрої введення була прочитана рядок, що збігається з синтаксису із записом БД test. Наприклад, exam ("99-291", "Інформатика", 3). Тоді мінлива Term отримує значення цього запису. Тобто, предикат Term = exam ( 99-291 , inf < span align = "justify">, 3) правдивий.
Розглянемо ще один приклад
readterm (test, exam (Code, Course, Mark))
Предикат успішний також, якщо з встановленого пристрої введення було прочитано рядок, що збігається з синтаксису із записом БД test, але цей предикат вже визначає значення полів запису, тобто мінлива Code отримує значення "99-291" , мінлива Course - значення "Інформатика", а змінна Mark -3.
РОЗРОБКА екпертно СИСТЕМ
Розробка експертних систем (ЕС) є найбільш плідною швидко розвивається областю застосування Прологу. Дуже важливо розуміти, як працюють експертні системи, так як вони можуть використовуватися, фактично, в будь-якій області знань. p align="justify"> Експертна система - це комп'ютерна програма, яка в деякій області проявляє ступінь пізнань рівнозначну ступеня пізнання людини-експерта. Зазвичай ця область строго обмежена. Однак, кількість додатків величезне. Сюди входять розуміння мови, аналіз зображень, прогноз погоди, оцінка майбутнього врожаю, медична діагностика, розробка інтегральних схем, фінансування, управління повітряним рухом, управління боєм і т.д.
Структура експертних систем
Щоб проводити експертизу, комп'ютерна програма повинна бути здатна вирішувати завдання за допомогою логічного висновку і отримувати при цьому досить надійні результати. Програма повинна мати доступ до системи фактів, званої базою знань. Програма також повинна під час консультації виводити укладення з інформації, наявної в базі знань. Деякі експертні системи можуть також використовувати нову інформацію, що додається під час консультації. Експертну систему, таким чином, можна представляти складається з трьох частин:
1. База знань (БЗ).
2. Механізм виведення (МВ).
. Система користувальницького інтерфейсу (СПИ).
База знань - центральна частина експертною системи. Вона містить правила, що описують відносини або явища, методи і знання для вирішення завдань з області застосування системи. Можна уявляти базу знань складається з фактичних знань і знань, що використовуються для виведення інших знань. Твердження "Джон Ф. Кенне...
