Висвітлено основні питання логічного програмування за програмою підготовки студентів комп'ютерних спеціальностей вищих навчальних закладів. Виклад матеріалу розпочинається зі вступу та короткого історичного нарису про Пролог - мову, що належить до мов логічного програмування і використовується для створення експертних систем. Розглянуто деякі зразки програм мовою Пролог, уніфікацію з поверненням, повторення і рекурсію, списки, внутрішні бази даних, трасування та відлагодження програм, арифметику і порівняння та ін. Висвітлено особливості обробки рядків та використання баз даних, а також графічний інтерфейс фірми Borland. Буде корисним для студентів комп'ютерного факультету вищих навчальних закладів, аспірантів, науковців та працівників комп'ютерної промисловості. КОРОТКИЙ ЗМІСТ ВСТУП 7 1. ПОЧАТОК РОБОТИ 17 2. ОСНОВИ МОВИ ПРОЛОГ 29 3. ПРОГРАМИ МОВОЮ ПРОЛОГ 48 4. УНІФІКАЦІЯ І ПОШУК З ПОВЕРНЕННЯМ 66 5. ПРОСТІ І СКЛАДОВІ ОБ'ЄКТИ 93 6. ПОВТОРЕННЯ І РЕКУРСІЯ 108 7. СПИСКИ І РЕКУРСІЯ 131 8. ВНУТРІШНЯ БАЗА ДАНИХ МОВИ ПРОЛОГ 148 9. ТРАСУВАННЯ І ВІДЛАГОДЖЕННЯ 158 10. АРИФМЕТИКА І ПОРІВНЯННЯ 169 11. ЗАПИС, ЧИТАННЯ І ФАЙЛИ 177 12. ОБРОБКА РЯДКІВ МОВОЮ ПРОЛОГ 200 13. ВИКОРИСТАННЯ ВІКОН У ПРОГРАМАХ 207 14. СИСТЕМА ЗОВНІШНІХ БАЗ ДАНИХ 227 15. ПРОГРАМУВАННЯ НА СИСТЕМНОМУ РІВНІ 256 16. ГРАФІЧНИЙ ІНТЕРФЕЙС 266 17. ПРИКЛАДИ ПРОГРАМ МОВОЮ ПРОЛОГ 299 18. СКЛАДНІШІ МЕТОДИ 312 ЗМІСТ ВСТУП 7 Імперативне і декларативне програмування 9 Історія 9 Про мову Пролог 11 Для чого може використовуватися мова Пролог? 13 Чим Пролог відрізняється від інших мов? 14 Мінімальні системні вимоги 15 Підтримувані апаратні засоби 16 1. ПОЧАТОК РОБОТИ 17 1.1. Завантаження мови Пролог 17 1.2. Короткий опис меню і "гарячих" клавіш 18 1.3. Вікна мовою Пролог 21 1.4. Короткий опис редактора 22 1.5. Ваша перша програма мовою Пролог 23 1.6. Трасування програми 26 1.7. Створення автономних програм 27 2. ОСНОВИ МОВИ ПРОЛОГ 29 2.1. Програмування мовою логіки 29 2.2. Від природної мови до програм мовою Пролог 36 2.3. Що таке відповідність? 44 Резюме 45 3. ПРОГРАМИ МОВОЮ ПРОЛОГ 48 3.1. Основні розділи програми мовою Пролог 48 3.2. Докладніший розгляд оголошень і правил 55 3.3. Інші розділи програми 61 Резюме 64 4. УНІФІКАЦІЯ І ПОШУК З ПОВЕРНЕННЯМ 66 4.1. Встановлення відповідності: уніфікація 66 4.2. Пошук з поверненням 69 4.3. Керування пошуком розв'язків 77 4.4. Мова Пролог із процедурного погляду 87 Резюме 91 5. ПРОСТІ І СКЛАДОВІ ОБ'ЄКТИ 93 5.1. Прості об'єкти даних 93 5.2. Складові об'єкти даних і функтори 95 5.3. Порівняння складових об'єктів 106 Резюме 107 6. ПОВТОРЕННЯ І РЕКУРСІЯ 108 6.1. Повторювані процеси 108 6.2. Рекурсивні структури даних 120 Резюме 130 7. СПИСКИ І РЕКУРСІЯ 131 7.1. Що таке список? 131 7.2. Обробка списків 133 7.3. Використання списків 134 7.4. Знаходження всіх розв'язків відразу 141 7.5. Складові списки 142 Резюме 146 8. ВНУТРІШНЯ БАЗА ДАНИХ МОВИ ПРОЛОГ 148 8.1. Використання внутрішньої бази даних 148 Резюме 157 9. ТРАСУВАННЯ І ВІДЛАГОДЖЕННЯ 158 9.1. Контроль за синтаксисом і відповідність типів 158 9.2. Трасування 159 9.3. Директиви компілятора, призначені для відлагодження 165 9.4. Повідомлення про помилки пір час виконання програм 166 Резюме 168 10. АРИФМЕТИКА І ПОРІВНЯННЯ 169 10.1. Арифметичні вирази 169 10.2. Функції і предикати 170 10.3. Порівняння 174 11. ЗАПИС, ЧИТАННЯ І ФАЙЛИ 177 11.1. Запис і читання 177 11.2. Файлова система мови Пролог 186 11.3. Поширення бази даних на файли 194 Резюме 198 12. ОБРОБКА РЯДКІВ МОВОЮ ПРОЛОГ 200 12.1. Обробка рядків 200 12.2. Перетворення типів 203 Резюме 205 13. ВИКОРИСТАННЯ ВІКОН У ПРОГРАМАХ 207 13.1. Основні засоби віконного інтерфейсу 207 13.2. Гра у відгадування слів, що використовує вікна 212 13.3. Більш розвинені засоби віконного інтерфейсу 214 13.4. Проста аркадна гра 220 13.5. Використання програми редактора і команди DIR 222 Резюме 226 14. СИСТЕМА ЗОВНІШНІХ БАЗ ДАНИХ 227 14.1. Зовнішні бази даних мови Пролог 227 14.2. Дерева В+ 240 14.3. Програмування зовнішніх баз даних 246 Резюме 255 15. ПРОГРАМУВАННЯ НА СИСТЕМНОМУ РІВНІ 256 15.1. Доступ до ДОС 256 15.2. Бітові операції 259 15.3. Доступ до апаратури: підтримка нижнього рівня 261 Резюме 265 16. ГРАФІЧНИЙ ІНТЕРФЕЙС 266 16.1. Що таке BGI? 266 16.2. Ініціалізація-закриття системи BGI 269 16.3. Поточна позиція 273 16.4. Побудова ліній і малюнків 274 16.5. Управління кольором 282 16.6. Виведення в графічному режимі 286 16.7. Екрани і області перегляду 290 16.8. Робота із зображеннями та їхніми елементами 292 16.9. Використання BGI з графічними платами типу RGB 293 16.10. Використання BGI у прикладних програмах 294 16.11. Драйвери BGI 297 16.12. Turtle Graphics 297 17. ПРИКЛАДИ ПРОГРАМ МОВОЮ ПРОЛОГ 299 17.1. Побудова невеликої експертної системи 299 17.2. Макетування: проста задача вибору маршруту 302 17.3. Ханойські вежі 303 17.4. Розбиття слів на склади 304 17.5. Задача N ферзів 307 17.6. Використання клавіатури 309 17.7. Використання предиката inkey 311 18. СКЛАДНІШІ МЕТОДИ 312 18.1. Помилки, виняткові ситуації і переривання 312 18.2. Аналіз потоків 318 18.3. Посилальний домен 320 18.4. Динамічне відсікання 323 18.5. Стиль програмування 326