Приклад 1

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

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

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

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

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

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

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

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

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

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

Укладачі:

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

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

Рецензент:

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

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

Затверджено

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

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

ЗМІСТ

ПЕРЕДМОВА.. 5

1 ЛАБОРАТОРНА РОБОТА № 1. 6

ЕЛЕМЕНТАРНІ ПРОГРАМИ НА ПРОЛОЗІ. Робота з твердженням програми за допомогою механізму звороту.. 6

1.1 Мета роботи.. 6

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

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

1.4 Зміст звіту.. 21

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

2 ЛАБОРАТОРНА РОБОТА № 2. 22

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

2.1 Мета роботи.. 22

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

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

2.4 Зміст звіту.. 26

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

3 ЛАБОРАТОРНА РОБОТА № 3. 28

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

3.1 Мета роботи.. 28

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

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

3.4 Зміст звіту.. 36

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

4 ЛАБОРАТОРНА РОБОТА № 4. 38

РОБОТА З ФАЙЛАМИ.. 38

4.1 Мета роботи.. 38

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

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

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

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

ДОДАТОК А.. 46

ПІДГОТОВКА І ВИКОНАННЯ ПРОГРАМИ В СЕРЕДОВИЩІ VISUAL PROLOG 46

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

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

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

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

5. Виконання програми.. 48

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

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

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

ЛІТЕРАТУРА. 50

ПЕРЕДМОВА

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

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

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

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

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

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

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

1.1 Мета роботи

Мета роботи. Навчитися писати, будувати, виконувати і налагоджувати елементарні програми на Пролозі.

Для реалізації вказаної мети треба:

- навчитися утворювати факти статичної і динамічної баз даних і працювати з ними;

- навчитися утворювати правила статичної бази даних і працювати з ними;

- навчитися організовувати цикли на Пролозі за допомогою механізму звороту.

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

1.2.1 Завантажте середовище візуального Прологу – Visual Prolog 32 з меню Пуск: усі програми Visual Prolog 5.2; Visual Prolog 32.

1.2.2Для виконання лабораторної роботи треба утворити новий проект. Утворення нового проекту виконайте за відомостями розділу 1 „Утворення нового проекту в середовищі Visual Prolog 5.2” з додатку А – „Підготовка та виконання програми в середовищі Visual Prolog 5.2”.

1.2.3Відкрийтепрограму з розширенням Pro і виконайте заміщення вмісту файлу на перший приклад програми, яку подано нижче.

Встановити по замовчанню для всіх предикатів характеристику nondeterm див. розділ 2 „Опції компілятору” з додатку А.

Для роботи з кирилицею виконайте установку вказану в додатку А розділ 3 „Застосування кирилиці”.

1.2.4Виконайте перший приклад програми, яку подано нижче за допомогою утілити Test Goal, використовуючи відомості з розділу 4 „Виконання програми” з додатку А.

Переконайтеся, що ви добре розумієте, як працює програма.

1.2.5Закрийте проект і знову завантажте його, використовуючи відомості з розділу 5 „Завантаження проекту, що існує” з додатку А..

1.2.6Зверніть увагу на вказівки до кожного прикладу.

Приклад 1

Дан набір фактів з відомостями про студентів: прізвище, середній бал. Вивести на екран прізвище студента, середній бал якого 4.0.

Predicates

nondeterm Stud(string, real)

Goal

Do.

Clauses

Stud(“Петренко”,4.5).

Stud(“Антонов”,4.0).