Інтерпретація пролог - програми в середовищі gnu prolog

Швидкий старт: Робота в режимі інтерпретації середовища GNU Prolog

Основний режим вивчення Прологу - інтерпретація програм з файлу, або безпосередньо з консолі.

Швидкий старт

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

Перша моя програма буде містити два факти: Мері і Джон люблять яблука. Запускаємо gprolog.exe (як Вам зручніше - через Іконку на робочому столі або безпосередньо - з каталогу). Бачимо "шапку" і запрошених до введення:

  1. Варіант: Набрати все з клавіатури. Дві основні хитрості: [user]. і введення, почне "запис" програми з клавіатури, а Ctrl + D з нового рядка - закінчить її запис і почне байт - компіляцію "Пользовательского введення".

Текст програми тепер в пам'яті інтерпретатора - ви можете його вивести за допомогою директиви listing. Якщо Ви хочете побачити тільки частину програми (предикатів), то в дужках можна уточнити listing (like). - не забувайте точку в кінці директиви.

Тепер Ви можете задавати Вашій програмі питання (Хто любить яблука): Після першого знайденого рішення, програма зупиняється і виводить. тепер Ви можете набрати; - і т. Д. Просто введення - перервати пошук рішень.

У режимі редагування рядка Ви можете користуватися клавішами і спец. комбінаціями Ctrl + P - попередній рядок в історії, Ctrl + N - наступна, весь список кодів Ви можете отримати комбінацією клавіш Esc +? (Esc - утримуйте)

Ви можете зберегти набрану Вами Пролог-програму в файл. За допомогою наступної, досить складною директиви: Саме час нагадати про можливості використання Cut Paste у вікні інтерпретатора Прологу (пункт меню Edit).

Можливості редагування програми, що зберігається в потоці [user] обмежені - ви можете ще раз відкрити потік, і додати правила (конструкції виду: children (X, Y): - parent (Y, X).). Але спроба додати факт, призведе до видалення фактів попередньої програми (з такими ж іменами), при цьому правила і факти з іншими іменами збережуться!
  • Варіант: Завантажити Пролог програму з файлу. Цей варіант передбачає завантаження вихідного тексту прологовской програми, з подальшою її компіляцією в байт - код всередині інтерпретатора. або так: ще так:
  • Варіант: Завантажити байт - Пролог програму з файлу. На відміну від наведеного вище варіанту, тут йдеться про завантаження Пролог програми з файлу з байт - кодом. Для отримання такого слід використовувати компілятор Прологу gplc.exe. У разі успішної байт - компіляції у нас з'являється файлик 1_1.wbc. перевіряємо:
  • Варіант: Пакетний режим інтерпретатора. При запуску інтерпретатора можна вказати набір з трьох аргументів командного рядка:
    gprolog.exe --init-goal "write (before), nl" --entry-goal "write (inside), nl" --query-goal "append ([a, b], [c, d], X ) "Ця технологія дозволяє запускати інтерпретатор Прологу з BAT файлів, із завантаженням потрібної програми.
    • Наостанок - про те, як вийти з інтерпретатора Прологу за допомогою предиката. Це можна зробити набравши halt.

    Блог вивчає Пролог