Ћекции.ќрг


ѕоиск:




 атегории:

јстрономи€
Ѕиологи€
√еографи€
ƒругие €зыки
»нтернет
»нформатика
»стори€
 ультура
Ћитература
Ћогика
ћатематика
ћедицина
ћеханика
ќхрана труда
ѕедагогика
ѕолитика
ѕраво
ѕсихологи€
–елиги€
–иторика
—оциологи€
—порт
—троительство
“ехнологи€
“ранспорт
‘изика
‘илософи€
‘инансы
’ими€
Ёкологи€
Ёкономика
Ёлектроника

 

 

 

 


ѕриклад 4. ƒан наб≥р факт≥в з в≥домост€ми про студент≥в: пр≥звище, середн≥й бал




ƒан наб≥р факт≥в з в≥домост€ми про студент≥в: пр≥звище, середн≥й бал. ¬ивести на екран вс≥ пр≥звища студент≥в, середн≥й бал €ких б≥льше 4.0 або менше3.5.

 

Predicates

nondeterm Stud(string, real)

nondeterm Do(real,real)

Goal

Do(4.0, 3.5).

Clauses

Stud(УѕетренкоФ,4.5).

Stud(УјнтоновФ,4.0).

Stud(УЅала€нФ,3.2).

Do(Bal1,Bal2):-stud(Pr,B), B>Bal1,write(Pr),nl,fail;

stud(Pr, B), B<Bal2,write(Pr),nl,fail.

Do(_,_).

«верн≥ть увагу, зм≥нн≥, що подан≥ в умовному твердженн≥ збер≥гають своњ значенн€ при переход≥ на нову г≥лку правила. «м≥нн≥, що подан≥ в умовах загублюють своњ значенн€ дл€ наступноњ г≥лки.

1.2.6 Ќапиш≥ть завданн€ свого вар≥анту за є в журнал≥.

ѕри написанн≥ програми обовТ€зково використовуйте вказаний нижче пор€док д≥й. ѕриклади, що наведен≥ в пунктах подаютьс€ дл€ завданн€ з прикладу 3.

ѕор€док д≥й при написанн≥ програми:

1) «Т€суйте, €к≥ обТЇкти Ї у завданн≥, €к≥ властивост≥ мають ц≥ обТЇкти, або зТ€суйте в≥дношенн€ м≥ж обТЇктами. Ќаприклад: обТЇкт студент, його властивост≥ пр≥звище, середн≥й бал. ќбТЇкт к≥льк≥сть, властив≥сть його значенн€.

2) «роб≥ть функтором предикату назву обТЇкту, а аргументами предикату властивост≥ обТЇкту. јбо обер≥ть функтором предикату в≥дношенн€, а аргументами предикату обТЇкти. Ќаприклад, Stud(УѕетренкоФ,4.5) ≥ count(0).

3) —формулюйте на основ≥ цих в≥дношень безумовн≥ твердженн€ у предикатн≥й форм≥ Ц факти. «Т€суйте чи будуть зм≥нюватись аргументи факт≥в. Ќаприклад: факт Stud(УѕетренкоФ,4.5). зм≥нюватис€ не буде. ‘акт count(0). буде зм≥нюватис€ count(1), тощо.

4) ¬изначте предикати, €к≥ ви використовуЇте дл€ запису факт≥в що не зм≥нюютьс€, в секц≥њ Predicates. ¬изначте предикати дл€ факт≥в, що будуть зм≥нюватис€, в секц≥њ Facts.

 

Ќаприклад: Facts

Count(integer)

Predicates

Stud(string, real)

5) —формулюйте питанн€ до завданн€ €к кон'юнкц≥ю або дизТюнкц≥ю ц≥лей(дек≥лька ц≥лей обТЇднаних лог≥чним ДANDФ або УORФ) ≥ розташуйте њњ в секц≥њ Goal;

6) ќпиш≥ть в т≥л≥ правила посл≥довн≥сть д≥й, €к≥ треба виконати, щоб одержати необх≥дний результат.

ƒл€ завданн€ прикладу 3 треба виконати наступн≥ д≥њ:

- встановити к≥льк≥сть студент≥в в 0;

- одержати в≥домост≥ про середн≥й бал студента з першого факту;

- перев≥рити чи середн≥й бал б≥льше 4.0;

- €кщо умова в≥рна, то зам≥стити факт з к≥льк≥стю студент≥в 0 фактом з к≥льк≥стю студент≥в 1;

- д≥њ повторити поки факти не зак≥нчатьс€;

- по зак≥нченню факт≥в вивести на екран одержану к≥льк≥сть студент≥в.

7) –озташуйте факти ≥ правила в секц≥њ Clauses в необх≥дному пор€дку зг≥дно умовам задач≥;

8) «верн≥ть увагу на зм≥нн≥ у ваш≥й програм≥. ѕереконайтесь, що ви в≥рно використовуЇте в своњй програм≥ механ≥зм передач≥ значень зм≥нних в≥д твердженн€ до твердженн€, а також механ≥зм звороту.

9) «береж≥ть програму на диск в каталог свого проекту;

10) ѕри налагодженн≥ програм лабораторноњ роботи треба буде завантажувати вже ≥снуючий проект. «авантаженн€ проекту виконуйте за ≥нструкц≥Їю Д«авантаженн€ Test Goal проекту, що ≥снуЇФ з додатку ј - Д–обота в середовищ≥ Visual Prolog V 5.2Ф.

11) Ќалагодьте вашу програму. ѕ≥д час налагодженн€ вашоњ програми використовуйте стандартний предикат виводу значень зм≥нних WRITE, щоб сл≥дкувати за значенн€ми зм≥нних п≥д час виконанн€ програми.

12) ѕри налагодженн≥ програми можна також використовувати налагоджувач Visual Prolog - Debugger.

 

1.3 «авданн€ на лабораторну роботу

¬ар≥ант 1

1. ƒан наб≥р факт≥в, €кий маЇ ≥нформац≥ю про багаж дек≥лькох пасажир≥в. ≤нформац≥€ про багаж кожного окремого пасажира Ц це є м≥сц€ пасажира, к≥льк≥сть його речей ≥ загальна вага його речей. «найти багаж, в €кому середн€ вага одн≥Їњ реч≥ певного пасажира, в≥др≥зн€Їтьс€ не б≥льше чим на 3 кг в≥д загальноњ середньоњ ваги речей вс≥х пасажир≥в.

2. ƒан файл с фактами, €к≥ мають в≥домост≥ про пошуков≥ сервери: назву сервера, адресу, мови. Ќаписати програму, €ка запитуЇ у користувача параметри вибору сервер≥в, и виводить на екран в≥домост≥ про ц≥ сервери.





ѕоделитьс€ с друзь€ми:


ƒата добавлени€: 2015-10-01; ћы поможем в написании ваших работ!; просмотров: 548 | Ќарушение авторских прав


ѕоиск на сайте:

Ћучшие изречени€:

≈сли президенты не могут делать этого со своими женами, они делают это со своими странами © »осиф Ѕродский
==> читать все изречени€...

1532 - | 1488 -


© 2015-2024 lektsii.org -  онтакты - ѕоследнее добавление

√ен: 0.009 с.