готов лаби 4 курс 1 сим / ЛП / otchet_4

Міністерство освіти і науки, молоді і спорту України

Кіровоградський національний технічний університет

Механіко-технологічний факультет

Кафедра програмного забезпечення

Дисципліна: « Логічне програмування »

Лабораторна робота № 4

Тема: «Методи організації повторів на мові програмування Turbo Prolog»

Виконав: ст. групи КІ-10-1

Перевірила: викладач

Кіровоград 2013

Мета: Розглянути різні способи організації повторів на мові програмування Turbo Prolog та застосування повторів для написання елементарних тестових програм.

Завдання:

1. Скласти власну програму-тренажер, що містить не менше п’яти фактів, з використанням ІІ і ІІІ методів повтору.

2. З’ясувати, як працює ця програма без ІІІ або без ІІ методів.

Лістинг програми:

domains

s=symbol

predicates

v1

v2

v3

v4

v5

rep

clauses

rep.

rep:-rep.

v1:-write("6233\n"),write("Kakaya firma?\n"),

readln(X),X="Nokia",write("Verno\n"),v2;!,write("Net"),v1.

v2:-write("Galaxy Gio\n"),

write("Какая фирма телефона?\n"),readln(X),

X="Samsung",write("Правильно\n"),v3;!,write("Не верно"),

v2.

v3:-write("C65\n"),write("Какая фирма телефона?\n"),

readln(X),X="Siemens",write("Точно"),v4;!,

write("Еще раз"),v3.

v4:-rep,write("Optimus One"),write("Firma telepnone?\n"),

readln(X),X="LG",write("Tak!"),v5.

v5:-rep,write("K750i\n"),write("Firma telephona\n"),

readln(X),X="Sony",write("Verno").

Рис.1 – Виконання програми

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

1. Які ви знаєте методи організації повторів на мові Турбо Пролог?

ВПН – відкат після невдач, метод відсікання і відката, метод повтора, заданий користувачем.

2. Поясніть особливості роботи предикату fail?

Предикат fail організує відкат програми до початку виконання процедури. Вбудований предикат fail включений в правило для того, щоб визвати відкат, якщо умови правила будуть виконані і все правило виявиться успішним. Якщо умову правила неможливо виконати, то предикат fail не знадобиться.

3. Поясніть особливості роботи предикату „!”?

Якщо в правилі буде стояти предикат відсікання !, то всі останні альтернативні рішення будуть відсічені, а сам предикат буде працювати до виконання всіх умов до нього.

4. Як працює метод повтору, організований користувачем?

predicates

word (symbol)

w

rер

clauses

word (adress).

word (go).

word (name).

word (work).

rер. /* 1 */

rер: - rер. /* 2 */

w: - rер, nl, write (“введіть слово”), readln (Y),word (X), Z=Y,

write (“-OK”),!.

Правило повтора задано в 1 і 2 рядках. Це правило завжди виконується успішно. Програма буде здійснювати запит введення слова до тих пір, поки не буде введено слово зі словника.

2