4. Зміст звіту

Звіт з лабораторної роботи повинен містити

1. Тему та мету роботи.

2. Завдання до лабораторної роботи відповідного варіанту (за списком групи).

3. Текст програми.

4. Результати роботи програми.

5. Контрольні питання

1. Визначити принципи написання процедури методом низхідної рекурсії.

2. Вказати особливості структури «список»; її опис та використання.

3. Назвати основну операцію на списках. Визначити режими її роботи.

4. Які ви знаєте процедури обробки списків?

Література

1. Адаменко А.Н. Логическое программирование и Visual Prolog / А.Н. Адаменко , А.М. Кучуков . – СПб.: БХВ-Петербург, 2003. – 992 с.

2. Братко И. Программирование на языке Пролог для искусственного интеллекта / И. Братко. – М.: Мир, 1990. – 560 С.

3. Ин Ц. Использование Турбо-Пролога / Ц. Ин, Д. Соломон. – М.: Мир, 1993. – 608 С.

4. Стерлинг Л. Искусство программирования на языке Пролог / Л. Стерлинг, Э. Шапиро. – М.: Мир, 1990. – 235 С.

5. Доорс Дж. Пролог ‑ язык программирования будущего / Дж. Доорс, А.Р Рейблейн, С. Вадера. – М.: ФиС, 1990. – 144 С.

6. Клоксин У. Программирование на языке Пролог / У. Клоксин, Д. Меллиш. – М.: Мир, 1987. – 336 С.

7. Малпас Дж. Реляционный язык Пролог и его применение / Дж. Малпас. – М.: Наука, 1990. – 463 С.

8. Стобо Дж. Язык программирования Пролог / Дж. Стобо. – М.: Мир, 1993. – 368 С.

9. Янсон А. Турбо-Пролог в сжатом изложении / А. Янсон. – М.: Мир, 1991. – 94 С.

10. Методичні вказівки до лабораторних робіт з дисципліни “Логічне програмування” для студентів спеціальності 8.080403 „Програмне забезпечення автоматизованих систем” денної форми навчання / Укладачі: І.В. Левада, Л.Ю. Дейнега. – Запоріжжя: ЗНТУ, 2006. – 42 с.

Додаток а Середовище Visual Prolog

В середовищі Visual Prolog програма виконується під керуванням утиліти TestGoal. Для цього утворюють проект TestGoal. Проект описує вимоги до роботи утиліти та програму користувача.

А.1 Утворення TestGoal проекту

Обрати опцію головного меню Project/ New Project. На екрані з’явиться вікно „Експерта застосування” (Expert Application ).

На вкладці General ввести:

• ім’я проекту в полі Project Name. Наприклад Lab1;

• для автоматичного формування бази даних проекту в полі Name of VPR.File задають ім’я бази даних: встановлюють курсор у вказане поле і клацають в ньому лівою кнопкою;

• якщо з проектом буде працювати декілька програмістів, треба вибрати Multiprogram Mode. Для мультипрограмного режиму автоматично формується файл, в якому компонуються стандартні пакети з програмою користувача. Щоб визначити ім’я цього файлу встановлюють курсор у поле Name of PRJ file і клацають в ньому лівою кнопкою;

• визначити в полі Base Directory базовий каталог проекту. Цей каталог по замовчанню буде використовуватися для відкриття файлу і запису файлів. Обрати диск і каталог можна за допомогою браузеру. Тут же можна утворити новий каталог у полі Subdirectory.

На вкладці Target обрати:

• платформу(поле Platform) - Windows-32;

• стратегію для вводу-виводу (поле UI Strategy) – EasyWin;

• тип об’єкту, що утворюється (поле Target Type) – exe;

• тип головної програми для ініціалізації (поле Main Program) - Prolog.

Утворити проект за кнопкою Creat.

А.2 Установка опцій компілятору

Обрати опцію головного меню: Options/ Project/ Compiler Options. Механізми Візуального Прологу працюють залежно від визначення детермінованості предикатів. Тому Пролог контролює відповідність визначення детермінованості предикатів для фактів і кількості тверджень у програмі. Предикати фактів, що зустрічаються в програмі більше одного разу, мають властивість nondeterm.

Предикати для умовних і цільових тверджень, що мають кілька розв’язків теж мають характеристику nondeterm.

Щоб встановити по замовчанню для предикатів, що мають декілька розв’язків – nondeterm. Треба обрати вкладку попередження

(Warning). Зробити установку. Зберегти установку за OK.

А.3 Завантаження Test Goal проекту, що існує

Завантаження проекту можна виконати двома способами:

• обрати курсором ім’я проекту серед існуючих внизу вкладки Project. Після чого обрати файл з розширенням PRG або VPR;

• обрати опцію Project/ Open Project. Знайти необхідний каталог з проектом. Після чого обрати файл з розширенням PRG або VPR.

А.4 Робота з кирилицею

Щоб обрати набір символів з кирилицею треба обрати у рядку з інструментами кнопку F(font), у полі набір символів вказати кирилиця.

Для текстового редактору, повідомлень та дерева можна обрати кирилицю за опціями: Options/ Global/ Environment/ Fonts.

А.5 Текстовий редактор Visual Prolog

Для утворення вікна редактору обирають команду головного меню File/New. Завантаження вже існуючих текстових файлів для редагування виконується за командою File/Open.

Можливості текстового редактору подані рядком інструментів.

Права кнопка миші дозволяє одержати можливості редактору для корегування тексту. Команда, що закінчується символом >, має своє меню. Команда, що закінчується „...”, має діалогове вікно. За такими командами можна одержати відомості про стандартні предикати, константи, типи даних візуального інтерфейсу і вставити їх в текст; утворити новий каталог, тощо. Редактор дозволяє робити гіпертекстові посилання.

Редактор фарбує ключові слова Прологу, що дозволяє легко читати програму. Опис редактору можна одержати за „гарячою клавішею” – F1.

Середовище VDE дозволяє утворювати декілька вікон текстового редактору. Але активним може бути тільки одне вікно.

А.5.Компілятор

Компілятор Visual Prolog генерує машинний код за ефективністю не гірше ніж код програм, що написані на С.

Компілятор моделює виконання програми користувача з метою знаходження можливих помилок під час її виконання. Він контролює вірність використання типів даних, потоки даних у програмі від предикату до предикату.

Щоб обрати необхідні опції компілятору для певного проекту треба відкрити проект і обрати Options/Project/Compile Options.

Опція Code Generation установлює:

• контроль за переповненням цілих чисел - Integer Overflow Check;

• переривання роботи програми з клавішею Break Check;

• контроль за переповненням стеку - Stack Overflow Check.

Опція Warnings задає установки:

• по замовченню для типів предикатів Default Predicates Type:

Nondeterm; Determ; Procedure;

• не дозволяє використовувати ідентифікатори з малих букв: Non Quoted Symbols;

• встановлює сильний контроль за сумісністю типів: Strong Type Conversion Check;

• контролює типи предикатів: Check Type of Predicates;

• контролює змінні, що не використовуються: Unused Variables;

• контролює – предикати, що не використовуються Unused Predicates.

А.6 Компіляція, компонування і виконання програми

Компілювання, компонування та запуск програми виконується за обраною кнопкою G або за комбінацією клавіш Ctrl-G (виклик утиліти Test Goal).

Утиліта компілює тільки програму, що знаходиться в активному вікні текстового редактору. Для утиліти Test Goal не можна використовувати глобальні предикати з інших модулів. Тому для утиліти ігноруються будь-які установки меню Make Option.

Виконайте команду Project/ Open Project, щоб відкрити Test Goal проект. Оберіть файл TestGoal.vpr.

Відкрийте необхідний файл командою File Open.

Компілювання, компонування і запуск програми виконується за обраною кнопкою G або за комбінацією клавіш Ctrl-G (виклик утиліти Test Goal).

Помилки та повідомлення системних програм і програми користувача при її виконанні виводяться у вікно помилок.

Установивши курсор на помилку і двічі натиснувши на ліву кнопку ви знайдете місце помилки у вашій програмі. За клавішею F1 можна викликати інтерактивну довідку. Щоб одержати повну довідку, оберіть Search і введіть № помилки.