Разработка інформаційно-довідкової системы

Завдання № 11 на курсове проектування з дисципліни «Логічне програмування» студентові Пакостиной Олександра Викторовне.

Група ИР-1−95.

1. Тема дослідження: «Розробка інформаційно — довідкової системи». 2. Вихідні дані: База даних BD, куди входять записи вида:

|Характеристика деталі | | | | | | | | | |№ |Місце |Назван|Цена |Дата надходження | | | | | | |зберігання |не | | | | | | | |артику|№ цеха|№склад|детали|руб |коп |рік |місяць |число | |ла | |а | | | | | | | | | | | | | | | | |.

Мова програмування: Пролог. 3. Перелік питань, які підлягають разработке:

4. Розробити меню, що забезпечує взаємодія користувача і системи, відповідно до завданням, передбачивши режимы:

5. Розробити процедуры:

. знищення записів по признакам;

. загрузки;

. сохранения;

. просмотра;

. знищення; 3.3. Передбачити створення з убозівської бази BD нових баз даних B1, B2, характеризуемых ознаками, задаваемыми користувачем. 4. Перелік графічних материалов:

4.1. Структурна схема меню:

[pic] 5. Структурна схема программы:

[pic].

5. Календарний план роботи над курсової работой:

6. Одержання завдання: 4.10.96.

7. Аналіз завдання, завдання, добір вивчення литературы:

18.10.96.

8. Розробка меню і структури програми: 25.10.96.

9. Розробка процедур інформаційно-довідкової системи: 15.11.96. 10. Налагодження програми: 29.11.96. 11. Оформлення пояснювальній записки і складання роботи з правку: 13.12.96. 12. Захист курсової роботи: 20.12.96.

Керівник: Холкин І.І. ____________.

Студент: Пакостина А. В. ____________ Описание.

1. Поняття про інформаційно-довідкових системах та його програмна реализация.

Інформаційно-довідкові системи призначені керувати різними інформаційними і довідковими масивами, до яких належать факти й бази даних. Ці системи організовують певний інтерфейс користувача з функціями обробки інформації самої системи. Набір можливостей таких систем зазвичай включає у собі корекцію структури використовуваного об'єкта (инкапсулирующего інформацію), роботу з її складниками — доповнення, редагування, видалення (у разі, коли роль такого об'єкта виконує база даних, це — записи), простий перегляд, пошук елементів. Слід також забезпечити на таку системи та функції постійного надійного зберігання — в найпростішому разі, це — запис бази з пам’яті в файл на диску і зчитування нього з диска в память.

Програмна реалізація мало відрізняється від такої концепції, але конкретизує абстрактні операції на конкретні процедури і функції (або ж об'єкти) і повністю від можливостей мови, поставленого завдання і мистецтва програміста. 2. Бази даних, і методи їхнього представления.

Загальна концепція теорії простих баз даних передбачає наявність деякого безлічі таблиць і є, власне, базою даних, що має певний ідентифікатор (ім'я). Кожна таблиця складається з n-го кількості записів (величина n залежить від можливостей конкретної системи), кожна з яких має те ж структуру (у межах однієї таблиці) і може об'єднувати у собі кілька різнорідних об'єктів (їх кількість також залежить цілком і повністю від можливостей системы).

Фундаментальна обізнаність із базою даних передбачає у собі здібності працювати з записами (або змінювати структуру таблиц).

У мові програмування Пролог база даних описується в окремому розділі, іменованому database. Таких розділів може бути кілька лише у програмі і з них, якщо вони справді є різні БД, повинні мати різні імена. Без імені у бази даних, їй дається ім'я за умовчанням — dbasedom.

Роботу з загружаемыми базами даних в Пролозі реалізують такі стандартні предикати: assert — додати запис в БД, retract — видалити зазначену запис, save — зберегти зазначену БД в файлі, consult — завантажити БД з файла в память.

У цьому роботі оголошено головна база даних bd, має предикат characteristick, і ще дві тимчасові бази b1, b2 з предикатами table1, table2. 3. Розробка системного меню.

Системне меню об'єднує у собі доступ всім процедурам інформаційно — довідкової системи. Розробка меню виходить із наявних функцій системи (предикатів). Оскільки оголошено предикат do (char), службовець буфером між системним меню і існуючими процедурами, він має у собі або підменю з режимів роботи наявних предикатів, чи їх виклик з наступним поверненням в системне меню:

+——————— Системне меню ———————+ ¦ Виберіть варіант роботи з базами даних: ¦ ¦ ¦ ¦ 1 : — Завантажити ¦ ¦ 2 : — Зберегти ¦ ¦ 3 : — Переглянути ¦ ¦ 4 : — Скоригувати ¦ ¦ 5 : — Видалити запис за ознаками ¦ ¦ 6 : — Створити за ознаками ¦ ¦ 7 : — Додати ¦ ¦ 8 : — Вихід в ДОС ¦ ¦ ¦ ¦ —————————| |————————— ¦ +——————————————————————+.

4. Розробка структури программы.

Системне меню викликає лише предикати do (), певні кожної із необхідних завдань (номер режим повністю з нумерацією у головному меню). Кожна з реалізацій цього предиката виводить меню, або відразу викликає відповідні процедури: open, store, adding, correct, see, del, indication. Процедура Indication виводить додаткове підміню і або IndicationB1, або IndicationB2 залежно від вибору користувача. Do (‘8') завершує роботи з системою. 5. Розробка процедур:

6. Завантаження бази даних (Open).

У do (‘1') є меню:

+————- Завантажити ————+ ¦ Куди завантажити? ¦ ¦ ¦ ¦ 1 : — У bd ¦ ¦ 2 : — У b1 ¦ ¦ 3 : — У b2 ¦ ¦ 4 : — Меню ¦ ¦ ¦ ¦ ———| |——— ¦ +——————————————+.

процедура Open має чотири реалізації, кожного з варіантів роботи. Для будь-якого випадку перед завантаженням бази даних перевіряється існування файла з запровадженим ім'ям (предикат exists). Для завантаження бази даних використовується стандартний предикат consult. При вызове.

Open (‘1') завантаження виробляється у базу bd, при виклик Open (‘2') до бази b1, при виклик Open (‘3') — в b2.

7. Збереження (Store).

У do (‘2') меню: +————- Зберегти ————+ ¦ Що зберегти? ¦ ¦ ¦ ¦ 1 : — bd ¦ ¦ 2 : — b1 ¦ ¦ 3 : — b2 ¦ ¦ 4 : — Меню ¦ ¦ ¦ ¦ ———| |——— ¦ +——————————————+.

Існують предикати для записи головну електоральну базу і двох временных.

Використовується стандартний предикат save, який записує в текстовий файл факти, пов’язані з цією БД.

8. Перегляд (See).

У do (‘3') меню: +———— Переглянути ———-+ ¦ Що переглянути? ¦ ¦ ¦ ¦ 1 : — bd ¦ ¦ 2 : — b1 ¦ ¦ 3 : — b2 ¦ ¦ 4 : — Меню ¦ ¦ ¦ ¦ ———| |——— ¦ +——————————————+.

Пропозиції See (‘1') і See (‘2') створюють нові вікна і виводять у яких знайдені записи. Після кожної виведеної записи запитує натискання клавіші, потім повторюється пошук з помошью стандартного предиката Fail чи відбувається вихід із предиката в системне меню.

9. Додавання (Adding).

Цей предикат було додано у програмі через полегшення роботи із нею, хоч й у завданні їх было.

У цьому процедурі використовується певна у цій самій програмі процедура Get, запрашивающая з клавіатури значення для нової запис у головною базі даних, і стандартна процедура assert, добавляющая новий факт до бази даних. 10. Коригування (Correct).

У цьому програмі існує два варіанта коригування — редагування записи, знайденою за двозначним номером артикулу і знайденою під назвою деталі. У кожній із версій предиката спочатку запитує номер артикулу (чи назву) змінюваного записи, пошук і освоєння висновок на екран, потім відбувається введення нових значень полів, підтверджуються зроблені зміни, видаляється старий факт (retract) й додають знову сформований (assert). 11. Творіння бази ознаками (Indication).

Indication (‘1') створює базу b1, а Indication (‘2') — базу b2. Для кожної бази існує окремий предикат — IndicationB1 и.

IndicationB2. Існують можливість створення таких баз за такими ознаками: за місцем зберігання, за ціною, по дати надходження. У кожному з вар’янтів виробляється запит сталася на кілька параметрів відразу й пошук фактів, відповідальних наведеним вимогам. При успішному пошуку, знайдений факт додається до бази b1 чи b2. 12. Видалення записи за ознаками (Del).

Ознаками для удаляемой записи можуть бути номер артикулу, назва, і навіть можливо знищити з пам’яті всю базі даних. В усіх життєвих варіантах використовується процедура видалення записи retract. 6. Листинг.

% % % Пакостина Олександра. % % ИР-1−95. % % Завдання 11. % % %.

domains.

artikul = integer cex, sklad = integer name = string rubley, kopeek = integer year, month, day = integer placedom = place (cex, sklad) pricedom = price (rubley, kopeek) datedom = date (year, month, day).

database — bd.

characteristick (artikul, placedom, name, pricedom, datedom).

database — b1.

table1(artikul, placedom, name, pricedom, datedom).

database — b2.

table2(artikul, placedom, name, pricedom, datedom).

predicates.

windows go do (char) open (char) store (char) adding correct (char) indication (char) indicationB1(char) indicationB2(char) see (char) del (char) exists (string) show (artikul, placedom, name, pricedom, datedom) get (artikul, placedom, name, pricedom, datedom).

goal.

windows, go.

clauses.

characteristick (1,place (5,6), «Gayka », price (0,45), date (1996,1,4)). characteristick (2,place (6,7), «Vint », price (0,65), date (1996,2,45)).

windows : — makewindow (1,52,0, «», 24,0,1,80), write («Пакостина Олександра. »), makewindow (2,52,0, «», 0,0,1,80), write («Систему керування базою даних «Характеристика деталі «»), makewindow (3,112,1, «Системне меню », 2,17,14,46), nl, write («Виберіть варіант роботи з базами даних: »), nl, nl, write («1 : — Завантажити »), nl, write («2 : — Зберегти »), nl, write («3 : — Переглянути »), nl, write («4 : — Скоригувати »), nl, write («5 : — Видалити запис за ознаками »), nl, write («6 : — Створити за ознаками »), nl, write («7 : — Додати »), nl, write («8 : — Вихід в ДОС »), nl, nl, write («—————————| |————————— «), framewindow (126).

go : — gotowindow (3), cursor (11,21), readchar (X), do (X).

%%%.

correct («1 ») : — makewindow (5,95,1, «Коригування записи, знайденою по артикулу », 7,10,13,60), framewindow (94), write («Номер артикулу: »), readint (X),.

characteristick (X, place (NC, NS), Name, price (Rub, Kop), date (Year, Mon, Day)), nl, write («Стара запис: »), nl, nl, show (X, place (NC, NS), Name, price (Rub, Kop), date (Year, Mon, Day)), nl, nl, write («Запровадьте новий варіант: »), nl, nl,.

get (ArtD, place (NCD, NSD), NameD, price (RubD, KopD), date (YearD, MonD, DayD)), nl, clearwindow,.

retract (characteristick (X, place (NC, NS), Name, price (Rub, Kop), date (Year, Mon, Day))),.

assert (characteristick (ArtD, place (NCD, NSD), NameD, price (RubD, KopD), date (YearD, MonD, DayD))), removewindow, removewindow, do («4 »), !.

correct («1 ») : — removewindow, removewindow, do («4 »), !.

correct («2 ») : — makewindow (5,95,1, «Коригування записи, знайденою під назвою », 7,10,13,60), framewindow (94), write («Назва: »), readln (X),.

characteristick (Art, place (NC, NS), X, price (Rub, Kop), date (Year, Mon, Day)), nl, write («Стара запис: »), nl, nl, show (Art, place (NC, NS), X, price (Rub, Kop), date (Year, Mon, Day)), nl, nl, write («Запровадьте новий варіант: »), nl, nl,.

get (ArtD, place (NCD, NSD), NameD, price (RubD, KopD), date (YearD, MonD, DayD)), nl, clearwindow,.

retract (characteristick (Art, place (NC, NS), X, price (Rub, Kop), date (Year, Mon, Day))),.

assert (characteristick (ArtD, place (NCD, NSD), NameD, price (RubD, KopD), date (YearD, MonD, DayD))), removewindow, removewindow, do («4 »), !.

correct («2 ») : — removewindow, removewindow, do («4 »), !.

correct («3 ») :;

!.

correct (_) : — makewindow (5,76,1, «Помилка », 8,29,5,22), framewindow (75), nl, write («Виберіть з меню »), readchar (_), removewindow, removewindow, do («4 »).

%%%.

del («1 ») : — makewindow (5,95,1, «Видалення по артикулу », 7,20,10,40), framewindow (94), write («Номер артикулу: »), readint (X),.

retract (characteristick (X, place (NC, NS), Name, price (Rub, Kop), date (Year, Mon, Day))), nl, write («Готове. »), readchar (_), removewindow, removewindow, do («5 »), !.

del («1 ») : — makewindow (6,76,1, «Помилка », 8,29,5,22), framewindow (75), nl, write («Запис не знайдено. »), readchar (_), removewindow, removewindow, removewindow, do («5 »).

del («2 ») : — makewindow (5,95,1, «Видалення під назвою », 7,20,10,40), framewindow (94), write («Назва: »), readln (X),.

retract (characteristick (Art, place (NC, NS), X, price (Rub, Kop), date (Year, Mon, Day))), nl, write («Готове. »), readchar (_), removewindow, removewindow, do («5 »), !.

del («2 ») : — makewindow (6,76,1, «Помилка », 8,29,5,22), framewindow (75), nl, write («Запис не знайдено. »), readchar (_), removewindow, removewindow, removewindow, do («5 »).

del («3 ») : — makewindow (5,95,1, «Видалення всієї бази », 7,20,10,40), framewindow (94), retract (characteristick (_, place (_,_),_, price (_,_), date (_,_,_))), fail.

del («3 ») : — write («База видалена. »), readchar (_), removewindow, removewindow, do («5 »), !.

del («4 ») :;

!.

del («_ «) : — makewindow (5,76,1, «Помилка », 8,29,5,22), framewindow (75), nl, write («Виберіть з меню »), readchar (_), removewindow, removewindow, do («5 »).

%%%.

indication («1 ») : — makewindow (5,18,1, «Створити базу B1 за ознакою », 8,25,10,30), framewindow (19), write («Запровадьте ознака: »), nl, nl, write («1 : — За місцем зберігання »), nl, write («2 : — За ціною »), nl, write («3 : — По дати надходження »), nl, write («4 : — Меню »), nl, nl, write («———| |——— «), cursor (7,13), readchar (X), indicationB1(X), removewindow, removewindow, do («6 »), !.

indication («2 ») : — makewindow (5,18,1, «Створити базу B2 за ознакою », 8,25,10,30), framewindow (19), write («Запровадьте ознака: »), nl, nl, write («1 : — За місцем зберігання »), nl, write («2 : — За ціною »), nl, write («3 : — По дати надходження »), nl, write («4 : — Меню »), nl, nl, write («———| |——— «), cursor (7,13), readchar (X), indicationB2(X), removewindow, removewindow, do («6 »), !.

indication («3 ») :;

!.

indication (_) : — makewindow (5,76,1, «Помилка », 8,29,5,22), framewindow (75), nl, write («Виберіть з меню »), readchar (_), removewindow, removewindow, do («6 »).

indicationB1(«1 ») : — makewindow (6,95,1, «Створення бази B1 за місцем зберігання », 7,20,10,40), framewindow (94), nl, write («Номер цеху: »), readint (X), write («Номер складу: »), readint (Y),.

characteristick (Art, place (X, Y), Name, price (Rub, Kop), date (Year, Mon, Day)),.

assert (table1(Art, place (X, Y), Name, price (Rub, Kop), date (Year, Mon, Day))), fail.

indicationB1(«1 ») : — removewindow, removewindow, indication («1 »).

indicationB1(«2 ») : — makewindow (6,95,1, «Створення бази B1 за ціною », 7,20,10,40), framewindow (94), nl, write («Рублів: »), readint (X), write («Копійок: »), readint (Y), characteristick (Art, place (NC, NS), Name, price (X, Y), date (Year, Mon, Day)), assert (table1(Art, place (NC, NS), Name, price (X, Y), date (Year, Mon, Day))), fail.

indicationB1(«2 ») : — removewindow, removewindow, indication («1 »).

indicationB1(«3 ») : — makewindow (6,95,1, «Створення бази B1 по дати надходження », 7,20,10,40), framewindow (94), nl, write («Рік: »), readint (X), write («Місяць: »), readint (Y), write («День: »), readint (Z), characteristick (Art, place (NC, NS), Name, price (Rub, Kop), date (X, Y, Z)), assert (table1(Art, place (NC, NS), Name, price (Rub, Kop), date (X, Y, Z))), fail.

indicationB1(«3 ») : — removewindow, removewindow, indication («1 »).

indicationB1(«4 ») :;

!.

indicationB1(_) : — makewindow (6,76,1, «Помилка », 8,29,5,22), framewindow (75), nl, write («Виберіть з меню »), readchar (_), removewindow, removewindow, indication («1 »).

indicationB2(«1 ») : — makewindow (6,95,1, «Створення бази B2 за місцем зберігання », 7,20,10,40), framewindow (94), nl, write («Номер цеху: »), readint (X), write («Номер складу: »), readint (Y),.

characteristick (Art, place (X, Y), Name, price (Rub, Kop), date (Year, Mon, Day)),.

assert (table2(Art, place (X, Y), Name, price (Rub, Kop), date (Year, Mon, Day))), fail.

indicationB2(«1 ») : — removewindow, removewindow, indication («2 »).

indicationB2(«2 ») : — makewindow (6,95,1, «Створення бази B2 за ціною », 7,20,10,40), framewindow (94), nl, write («Рублів: »), readint (X), write («Копійок: »), readint (Y), characteristick (Art, place (NC, NS), Name, price (X, Y), date (Year, Mon, Day)), assert (table2(Art, place (NC, NS), Name, price (X, Y), date (Year, Mon, Day))), fail.

indicationB2(«2 ») : — removewindow, removewindow, indication («2 »).

indicationB2(«3 ») : — makewindow (6,95,1, «Створення бази B2 по дати надходження », 7,20,10,40), framewindow (94), nl, write («Рік: »), readint (X), write («Місяць: »), readint (Y), write («День: »), readint (Z), characteristick (Art, place (NC, NS), Name, price (Rub, Kop), date (X, Y, Z)), assert (table2(Art, place (NC, NS), Name, price (Rub, Kop), date (X, Y, Z))), fail.

indicationB2(«3 ») : — removewindow, removewindow, indication («2 »).

indicationB2(«4 ») :;

!.

indicationB2(_) : — makewindow (6,76,1, «Помилка », 8,29,5,22), framewindow (75), nl, write («Виберіть з меню »), readchar (_), removewindow, removewindow, indication («2 »).

%%%.

adding : — get (Art, place (NC, NS), Name, price (Rub, Kop), date (Year, Mon, Day)), nl, write («Ви запровадили: »), nl, show (Art, place (NC, NS), Name, price (Rub, Kop), date (Year, Mon, Day)), nl, nl, write («Додати? (Yes/No) »), readchar (A),.

A= «y » ,.

assert (characteristick (Art, place (NC, NS), Name, price (Rub, Kop), date (Year, Mon, Da y)));

!.

%%%.

exists (FN) : — existfile (FN); makewindow (6,76,1, «Помилка », 10,25,5,30), nl, framewindow (75), write («Файл », FN, «не знайдено! »), readchar (_), removewindow, removewindow, removewindow, do («1 »).

show (Art, place (NC, NS), Name, price (Rub, Kop), date (Year, Mon, Day)) : — write («Артикул: », Art), nl, write («Місце Розташування (Цех, Склад): », NC, «, «, NS), nl, write («Найменування товару: », Name), nl, write («Вартість (Рублей:Копеек): », Rub, «: », Kop), nl, write («Дата надходження (Год-Месяц-День): », Year, «- «, Mon, «- «, Day).

get (Art, place (NC, NS), Name, price (Rub, Kop), date (Year, Mon, Day)) : — write («Артикул: »), readint (Art), write («Місце Розташування: »), nl, write («Цех: »), readint (NC), write («Склад: »), readint (NS), write («Найменування товару: »), readln (Name), write («Вартість: »), nl, write («Рублів: »), readint (Rub), write («Копійок: »), readint (Kop), write («Дата надходження: »), nl, write («Рік: »), readint (Year), write («Місяць: »), readint (Mon), write («День: »), readint (Day).

7. Налагодження программы.

Відкриття БД.

+——————— Системне меню ———————+ ¦ Виберіть варіант роботи з базами даних: ¦ ¦ 1 :-+————- Завантажити ————+ ¦ ¦ 2 :-¦ Куди завантажити? ¦ ¦ ¦ +———————Завантаження bd——————-+ ¦ ¦ ¦ ¦ ¦ ¦ ¦ Ім'я файла: data ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ Завантажене ¦ ¦ +—¦ ¦—+.

+———————————————————+.

Збереження БД.

+——————— Системне меню ———————+ ¦ Виберіть варіант роботи з базами даних: ¦ ¦ ¦ ¦ 1 :-+————- Зберегти ————+ ¦ ¦ 2 :-¦ Що зберегти? ¦ ¦ ¦ +——————-Збереження b2——————+ ¦ ¦ ¦ ¦ ¦ ¦ ¦ Ім'я файла: data2 ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ Збережено ¦ ¦ +—¦ ¦—+.

+———————————————————+.

Просмотр.

+——————— Системне меню ———————+.

¦ Виберіть варіант роботи з базами даних: ¦

¦ ¦

¦ 1 :-+———— Переглянути ———-+ ¦

¦ 2 :-¦ Що переглянути? ¦ ¦ +———————————- Перегляд bd ———————————+ ¦ Артикул: 2 ¦ ¦ Місце Розташування (Цех, Склад): 6, 7 ¦ ¦ Найменування товару: Vint ¦ ¦ Вартість (Рублей:Копеек): 0:65 ¦ ¦ Дата надходження (Год-Месяц-День): 1996;2−45 ¦ ¦ ¦ ¦Натисніть ENTER продовжити… ¦ +—————————————————————————————+.

Корректировка.

+——————— Системне меню ———————+.

¦ Виберіть варіант роботи з базами даних: ¦

¦ ¦

¦ 1 :-+———- Коригування ———+ ¦

¦ 2 :-¦ Спосіб перебування записи: ¦ ¦ +———- Коригування записи, знайденою під назвою ———+ ¦Стара запис: ¦ ¦ ¦ ¦ Артикул: 1 ¦ ¦ Місце Розташування (Цех, Склад): 5, 6 ¦ ¦ Найменування товару: Gayka ¦ ¦ Вартість (Рублей:Копеек): 0:45 ¦ ¦ Дата надходження (Год-Месяц-День): 1996;1−4 ¦ ¦ ¦ ¦Запровадьте новий варіант: ¦ ¦ ¦ ¦ Артикул: ¦ +—————————————————————————————+.

Удаление.

+——————— Системне меню ———————+ ¦ Виберіть варіант роботи з базами даних: ¦ ¦ ¦ ¦ 1 :-+ Видалення записи за ознакою+ ¦ ¦ 2 :-¦ Запровадьте ознака: ¦ ¦ ¦ +———— Видалення по артикулу ————+ ¦ ¦ ¦ Номер артикулу: 1 ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ Готове. ¦ ¦ +—¦ ¦—+.

+———————————————————+.

Створення по признакам.

+——————— Системне меню ———————+ ¦ Виберіть варіант роботи з базами даних: ¦ ¦ ¦ ¦ 1 :-± Створити базу за ознакою -+ ¦ ¦ 2 :-¦ Яку базу створити? ¦ ¦ ¦ +——— Створення бази B1 за ціною ———+ ¦ ¦ ¦ ¦ ¦ ¦ ¦ Рублів: 0 ¦ ¦ ¦ ¦ Копійок: 45 ¦ ¦ +—¦ ¦—+.

+———————————————————+.

+——————————————+.

Добавление.

+——————— Системне меню ———————+.

¦ Виберіть варіант роботи з базами даних: ¦

¦ ¦

¦ 1 : — Завантажити ¦

¦ 2 : — Зберегти ¦ +——————- Додати запис до головною базі ——————-+ ¦ Місце Розташування: ¦ ¦ Цех: 5 ¦ ¦ Склад: 6 ¦ ¦ Найменування товару: Shayba ¦ ¦ Вартість: ¦ ¦ Рублів: 1 ¦ ¦ Копійок: 2 ¦ ¦ Дата надходження: ¦ ¦ Рік: 1996 ¦ ¦ Місяць: 23 ¦ ¦ День: 3 ¦ +—————————————————————————————+ 8. Інструкція користувача і рішення контрольних примеров.

Рішення контрольних прикладів грунтується, що зроблено в налагодженні програми розвитку й то, можливо вивчено по вищестоящої частини (7.).

Робота з програмою необхідно вибирати із запропонованих меню пункти шляхом натискання на відповідні цифри. За появи підменю повторити операцію, при запиті з ім'ям файла — запровадити рядок, визначальну ім'я файла, при запиті на символ, натиснути клавішу на клавіатурі (пам'ятаймо, будь ласка про мовної розкладці клавіатури і стан клавіші CAPSLOCK). Також у кількох процедурах виробляється підтвердження (Yes/No — Да/Нет) — необхідно переключитися на англійську розкладку й тицьнути на відповідну клавішу в нижньому регістрі. 9.

Заключение

.

Мова програмування Пролог безумовно можна використовувати для написання подібних інформаційно-довідкових систем, оскільки вона дозволяє легко і швидко створювати логічні запити до баз даних, що безперечно виділяє його серед інших мов програмування. 10.

Список литературы

.

1. До. Кларк. «Введення ЄІАС у логічне програмування на Micro Prologe».

2. До. Хоггер. «Введення у логічне программирование».