Логическое программирование1 / 1-5_LR_4KSM_Logichne_progr_2014-15

11

Завдання 2. Уведіть до комп`ютеру, збережіть на диску, запустіть на виконання та проаналізуйте результати роботи програми, наведеної у матеріалах «Основи системы Visual Prolog» інформаційного ресурсу wikiru.visual-prolog.com. Модифікуйте зазначену програму, ще раз запустіть її на виконання та проаналізуйте.

5.2. Індивідуальні контрольні завдання

Завдання 4. Виконайте один із наведених нижче варіантів завдань, пов'язаних із виведенням на екран комп’ютеру текстових повідомлень про типові несправності процесорів, охарактеризовані в таблиці 1.

Варіанти 1-11. За аналогією з попередніми програмами (див. представлені вище завдання 1-3), складіть Пролог-програму, що виводить на екран комп'ю- теру діагностичне інформаційне повідомлення про один із перелічених нижче типових проявів несправностей процесорів:

1)система не відзивається;

2)система «зависає» перед початком тестування POST;

3)система «зависає» під час виконання тестування POST;

4)неправильно ідентифікується процесор під час тестування POST;

5)система «зависає» одразу ж після тестування POST;

6)операційна система не завантажується;

7)додатки не інсталюються та не працюють;

8)система не подає звукових сигналів;

9)на екрані монітору нема зображення;

10)на екрані монітору нема курсору;

11)вентилятор не працює.

12

Варіанти 12-19. За аналогією з попередніми програмами (див. представлені вище завдання 1-3), складіть Пролог-програму, що виводить на екран комп'ютеру діагностичне інформаційне повідомлення про виявлення однієї з перелічених нижче типових комплексних проблем, повязаних із несправностями процесорів:

12)система не відзивається, нема курсору та звукового сигналу, не працює вентилятор;

13)система не відзивається, нема звукового сигналу або «зависає» перед початком тестування POST;

14)система подає звукові сигнали, вентилятор працює, на екрані нема кур-

сору;

15)система «зависає» під час виконання або одразу ж після тестування

POST;

16)неправильна ідентифікація процесору під час тестування POST;

17)операційна система не завантажується;

18)додатки не інсталюються та не працюють;

19)система працює, але зображення на екрані монітору нема.

Варіанти 20-37. За аналогією з попередніми програмами (див. представлені вище завдання 1-3), складіть Пролог-програму, що виводить на екран комп'ютеру діагностичне інформаційне повідомлення з назвою можливої причини виникнення несправності процесору:

20)несправний шнур живлення;

21)несправний блок живлення;

22)несправна системна плата;

23)несправні модулі пам`яті;

24)компоненти системи не встановлені або встановлені некоректно;

25)неправильно встановлений або несправний відеоадаптер;

13

26)недостатнє відведення тепла;

27)неправильно встановлено напругу;

28)неправильно встановлено частоту шини системної плати;

29)неправильно встановлено множник тактової частоти;

30)застаріла BIOS;

31)неправильна конфігурація плати;

32)недостатнє відведення тепла;

33)неправильно встановлено напругу;

34)неправильно встановлено частоту шини системної плати;

35)неправильно встановлено множник тактової частоти;

36)застарілі драйвери або несумісне апаратне забезпечення;

37)монітор вимкнений або несправний.

Варіанти 38-56. За аналогією з попередніми програмами (див. представлені вище завдання 1-3), складіть Пролог-програму, що виводить на екран комп'ютеру діагностичне інформаційне повідомлення з рекомендаціями щодо дій, які потрібно виконати для перевірки наявності певної причини виникнення несправності процесору та, в разі можливості, усунення цієї несправності:

38)оскільки зовнішній огляд не завжди дозволить визначити справність мережного шнура, під`єднайте до мережі або замініть шнур живлення;

39)замініть блок живлення завідомо справним блоком;

40)замініть системну плату іншою, завідомо справною платою;

41)вилучіть усі модулі пам`яті, окрім одного, та протестуйте ще раз, а якщо система не завантажується, то замініть цей модуль;

42)перевірте всі периферійні пристрої, особливо пам`ять і відеоадаптер;

43)перевірте гнізда та роз`єми компонентів;

44)перевстановіть або замініть відеоадаптер завідомо справним адапте-

ром;

14

45)перевірте тепловідвід/вентилятор процесору та, за необхідності, замініть його більш потужним;

46)установіть напругу системної плати у відповідності з напругою ядра процесору;

47)установіть відповідну частоту системної плати;

48)перемкніть системну плату на відповідне значення множника;

49)поновіть BIOS;

50)перевірте положення перемичок системної плати у відповідності з параметрами шини та множника;

51)перевірте вентилятор процесору та, за необхідності, замініть його більш потужним;

52)установіть напругу системної плати у відповідності з напругою ядра процесору;

53)установіть відповідну частоту системної плати;

54)перемкніть системну плату на відповідне значення множника;

55)поновіть драйвери та перевірте сумісність компонентів;

56)перевірте монітор і подачу живлення та спробуйте замінити монітор завідомо справним.

15

Таблиця 1

Типові причини несправностей процесорів

16

Продовження таблиці 1 – Типові причини несправностей процесорів

17

Продовження таблиці 1 – Типові причини несправностей процесорів

18

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

Тема: Синтаксис і семантика мов логічного програмування. Частина 1. Мета: Практичне знайомство з функціональними можливостями

та інструментальними засобами мов логічного програмування; практичне опановування базового синтаксису та семантики, особливостей подання та застосування основоположних структур даних логічних програм.

1 ПЛАН ВИКОНАННЯ ЛАБОРАТОРНОЇ РОБОТИ

1.Вивчити основні теоретичні відомості до лабораторної роботи.

2.Опрацювати контрольні питання.

3.Вивчити вимоги до оформлення, захисту та оцінювання лабораторних робіт (Додаток А).

4.Виконати індивідуальні контрольні завдання.

5.Скласти звіт.

6.Захистити звіт.

2 ОСНОВНІ ТЕОРЕТИЧНІ ВІДОМОСТІ

2.1. Основи логічного програмування мовою Пролог

Структура та синтаксис Пролог-програм відображають концепції логіки предикатів.

Пролог-програма складається з наступних розділів: 1) розділ опису доменів; 2) розділ бази даних; 3) розділ опису предикатів; 4) розділ опису цілі; 5) розділ опису тверджень.

Початок зазначених розділів позначають наступні ключові слова: domains, database, predicates, goal і clauses.

19

Призначення розділів Пролог-програми є наступним:

–розділ domains містить визначення доменів, які описують різні класи об`єктів, використаних у програмі;

–розділ database містить твердження бази даних, які є предикатами динамічної бази даних;

–розділ predicates призначений для опису предикатів (відносин між об`єктами);

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

–розділ clauses містить факти та правила (дані, що необхідні для роботи програми).

Більшість Пролог-програм не містить усіх названих вище розділів (якщо деякі розділи не вимагаються, то вони можуть бути опущені).

Пролог забезпечує можливість включення до програми коментарів, які:

можуть бути поміщені до будь-якої ділянки програми; повинні розташовуватися між спеціальними символами «/*» і «*/»; не мають обмежень за довжиною.

Коментарі мають містити наступну інформацію: про програму, ім`я файлу, компілятор, базу даних, а також про призначення кожного з тих предикатів і правил, які не є очевидними.

Програма "Словник" (лістинг 1) є наочним прикладом завершеної Пролог-програми, створеної з використанням тверджень і предикатів. Метою програми є пошук і друк синоніму слова brave, яким є слово daring.

Наступне твердження вказує на синонімічність слів brave і daring: synonym(brave, daring). /* daring – синонім brave */

Термом даного предикату є synonym, а об`єктами – brave та daring.

Опис предикату для зазначеного вище твердження буде виглядати наступним чином: synonym(word,syn). Об`єктами даного предикату є word і syn.

Опис доменів об`єктів word і syn є наступним: word,syn = symbol.

20

Даний опис показує, що обидва об`єкти предикату synonym являють собою символічні імена.

Предикат synonym використовується у чотирьох твердженнях, у кожному з яких на першій позиції знаходиться деяке слово, а на другій – його синонім: synonym(brave,daring), synonym(honest,truthful), synonym(modern,new), synonym(rare,uncommon).

/* Лістинг 1. Програма: Словник */ /* Призначення: Демонстрація асоціацій слів */

/* за допомогою словника синонімів та антонімів */ domains

word, syn ,ant = symbol predicates

synonym(word,syn)

antonym(word,ant) goal

synonym(brave,X),

write("A synonym for 'brave' is "), nl, write("'",X,"'."), nl.

clauses synonym(brave,daring). synonym(honest,truthful). synonym(modern,new).

synonym(rare,uncommon). antonym(brave,cowardly). antonym(honest,dishonest). antonym(modern,ancient). antonym(rare,common).

/***** кінець програми *****/