28

МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ

Запорізький національний технічний університет

МЕТОДИЧНІ ВКАЗІВКИ

до лабораторних робіт з дисципліни

“Логічне програмування”

для студентів спеціальності 050103

„Програмне забезпечення автоматизованих систем ”

напряму „Програмна інженерія”

денної форми навчання

2007

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

Укладачі:

І. В. Левада, ст. викладач

Л. Ю. Дейнега, асистент

Рецензент:

канд. техн. наук, доцент A. B. Пархоменко

Відповідальний за випуск: І. В. Левада, ст. викладач

Затверджено

на засіданні кафедри “Програмні засоби”

Протокол №1 від вересня 2007

ЗМІСТ

ПЕРЕДМОВА 6

1 ЛАБОРАТОРНА РОБОТА № 1 7

ЕЛЕМЕНТАРНІ ПРОГРАМИ НА ПРОЛОЗІ. РОБОТА З ТВЕРДЖЕННЯМИ ПРОГРАМИ ЗА ДОПОМОГОЮ МЕХАНІЗМУ ЗВОРОТУ 7

1.1 Мета роботи 7

1.2 Методичні вказівки до виконання лабораторної роботи 7

1.3 Завдання на лабораторну роботу 13

1.4 Зміст звіту 22

1.5 Контрольні питання 22

2 ЛАБОРАТОРНА РОБОТА № 2 23

РОБОТА З РЯДКАМИ МЕТОДОМ ВИСХІДНОЇ РЕКУРСІЇ 23

2.1 Мета роботи 23

2.2 Методичні вказівки до виконання лабораторної роботи 23

2.3 Завдання на лабораторну роботу 25

2.4 Зміст звіту 27

2.5 Контрольні запитання 28

3 ЛАБОРАТОРНА РОБОТА № 3 29

РОБОТА ЗІ СПИСКАМИ МЕТОДОМ НИЗХІДНОЇ РЕКУРСІЇ 29

3.1 Мета роботи 29

3.2 Методичні вказівки до виконання лабораторної роботи 29

3.3 Завдання на лабораторну роботу 34

3.4 Зміст звіту 37

3.5 Контрольні запитання 38

4 ЛАБОРАТОРНА РОБОТА № 4 39

ПРЕДИКАТИ ВВОДУ-ВИВОДУ.РОБОТА З ФАЙЛАМИ 39

4.1 Мета роботи 39

4.2 Методичні вказівки до виконання лабораторної роботи 39

4.3 Завдання на лабораторну роботу 42

4.4 Зміст звіту 45

4.5 Контрольні запитання 46

ДОДАТОК А 47

Дії: 47

2.Опції компілятору 48

Механізми Візуального Прологу працюють залежно від визначення детермінованості предикатів. Тому Пролог контролює відповідність визначення детермінованості предикатів і кількості тверджень у програмі. 48

Предикати, що зустрічаються в програмі більше одного разу, мають властивість Nondeterm. 48

У прикладі 1 лабораторної роботи 1 характеристика Nondeterm записана біля предикату Stud(string, real). 48

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

Options/ Project/ Compiler Options вкладка попередження( Warning) і зробити установку. 49

3. Застосування кирилиці 49

Для закріплення можливості оберіть кириличний набір для OPTIONS/GLOBAL/ ENVIRONMENT/FONTS/EDITOR. 49

4. Виконання програми 49

5. Завантаження проекту, що існує 49

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

6. Вхідні та вихідні файли 49

Якщо програма користувача виконується під керуванням утиліти Test Goal , то по замовчанню поточним каталогом є каталог Obj базового каталогу. 49

Вихідні файли, що використовує програма та файли з результатами розміщуються в каталозі Obj. 49

7. Особливості утворення програми, що виконується 49

При утворенні програми з розширенням Exe необхідно, щоб всі області Facts були глобальними та іменованими. Секція Domains також повинна бути глобальною. 49

Секція Goal розміщується перед секцією Clauses. 50

Програма, що виконується розміщується в каталозі Exe. Результати компіляції розміщуються в каталозі Obj. 50

Якщо програма виконується незалежно від оболонки, то для кожного вхідного або вихідного файлу програміст сам вказує шлях до файлу. 50

8. Обробка помилок 50

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

9. Текстовий редактор Visual Prolog 51

Література 51

50

Передмова

Методичні вказівки вміщують завдання для виконання лабораторних робіт, а також вказують, як виконувати ці роботи.

В процесі виконання лабораторних робіт студенти повинні:

• закріпити знання одержані на лекціях;

• одержати навики у програмуванні на Visual Prolog v 5.2.

Знання, що одержані з цієї дисципліни використовуються у дисциплінах “Програмне забезпечення інтелектуальних систем”, “Лінгвістичне забезпечення інтелектуальних систем”, „Основи штучного інтелекту”.