Книга_мат_3_1
.pdf3.Внести відповідні предикати до бази даних.
Примітка: предикати мати, батько, син, дочка обов‟язкові для всіх. Ще два предикати визначаються за варіантом. Якщо для визначення предиката потрібно використовувати додаткове відношення, то можна задати додаткове відношення або правилом, або фактами. Наприклад, для визначення предиката тесть необхідно використовувати додаткове відношення чоловік. Формування правила для предиката чоловік є завданням іншого варіанта, тому можна його подати сукупністю фа к- тів.
4.Протрасувати програму при виконанні простого та складного запиту. Зобразити схему обчислення відповіді з вказанням точок відкоту у зошиті.
5.Внести до бази даних рекурсивне правило предок(А, Б). Протрасувати порядок обчислення запиту з використанням даного правила. Побудувати схему обчислення.
Контрольні запитання
1.В чому полягає декларативний зміст Пролог-програми?
2.В чому полягає процедурний зміст Пролог-програми?
3.В чому полягає механізм уніфікації?
4.Що називають процедурою у Пролозі? Наведіть приклади.
91
|
Глосарій |
|
A |
abs |
– модуль числа |
and |
– логічна операція “і” |
asm |
– асемблерна вставка |
assembler |
– асемблерна вставка |
arctan |
– арктангенс числа (в радіанах) |
array |
– масив |
exp |
– експонента числа |
|
B |
begin |
– початок програми або блоку |
boolean |
– булівський тип |
byte |
– цілочисельний тип в межах від 0 до 255 |
|
C |
case |
– команда вибору |
char |
– символьний тип |
chr |
– символ з відповідним порядковим номером |
concat |
– аналог операції “+” для символів |
const |
– розділ опису сталих величин |
copy |
– виділення ланцюжку символів |
cos |
– косинус кута, вираженого в радіанах |
|
D |
div |
– операція “ділення націло” |
delete |
– видалення ланцюжка символів |
do |
– то |
double |
– дійсний тип в межах від 5.0 10-324 до 1.7 10308 |
downto |
– в циклі з параметром (for) вказує на зміну па- |
раметру циклу в сторону спадання (зменшення) |
|
|
E |
else |
– інакше (команда розгалуження if) |
end |
– кінець програми або блоку |
eof |
– скорочення від “end of file” – кінець файлу |
exp |
– операція експонента |
extended |
– дійсний тип в межах від 3.4 10-4932 до |
|
1.7 104932 |
|
F |
false |
– хибно |
file |
– файл |
for |
– для |
92
forward |
– випереджувальний запис, використовується |
|
при рекурсії |
frac |
– дробова частина |
function |
– функція |
|
G |
goto |
– перейти на (мітку) |
|
H |
halt |
– термінове закінчення програми |
hi |
– старший байт |
|
I |
if |
– якщо (початок конструкції розгалуження) |
implementation |
– початок розділу реалізації модуля |
in |
– в, належність множині |
inline |
– фрагмент в машинних кодах |
interface |
– розділ опису сталих і змінних в модулі |
int |
– ціла частина числа |
integer |
– цілочисельний тип в межах від -32768 до 32767 |
|
K |
keypressed |
– чекає натиснення клавіша |
|
L |
label |
– розділ опису міток |
length |
– кількість символів у літерній (рядковій) величині |
library |
– бібліотека |
ln |
– натуральний логорифм |
longint |
– цілочисельний тип в межах від -2147483648 до |
|
2147483647 |
|
M |
mod |
– остача при діленні |
|
N |
nil |
– пуста множина |
not |
– логічна операція “не” (заперечення) |
|
O |
object |
– об‟єкт |
odd |
– перевірка на непарність |
of |
– від (вживається в конструкції операції вибору |
|
case of) |
or |
– логічна операція “або” () |
ord |
– порядковий номер символу чи елементу |
93
|
P |
packed |
– упакований тип |
pi |
– стале число = 3.1415926... |
pointer |
– вказівник |
pos |
– позиція в послідовності елементів |
pred |
– попередній елемент перерахованого типу |
procedure |
– процедура |
program |
– програма |
|
R |
read (–ln) |
– прочитати, ввести значення |
real |
– дійсний тип в межах від 2.9 10-39 до 1.7 1038 |
record |
– запис |
repeat |
– початок циклу з післяумовою |
round |
– округлити |
|
S |
set |
– належність множині |
shl |
– зсув вліво |
shortint |
– цілочисельний тип в межах від -128 до 127 |
shr |
– зсув вправо |
sin |
– синус кута, вираженого в радіанах |
single |
– дійсний тип в межах від 1.5 10-45 до 3.4 1038 |
sqr |
– квадрат числа |
sqrt |
– квадратний корінь |
str |
– перетворення числа в послідовність символів |
string |
– стрінговий тип (масив символів) |
succ |
– наступний елемент перерахованого типу |
swap |
– обмін місцями молодшого і старшого байту |
|
T |
then |
– то |
to |
– до |
true |
– істинно |
trunc |
– найближче ціле число з недостачею (за модулем) |
type |
– розділ опису типів |
|
U |
unit |
– заголовок модуля |
until |
– умова закінчення циклу з післяумовою |
upcase |
– перетворює рядкову літеру в прописну |
uses |
– підключити модуль |
94
|
V |
val |
– перетворення символу в число |
var |
– розділ опису змінних |
|
W |
while |
– поки (цикл з передумовою) |
with |
– селектор |
word |
– цілочисельний тип в межах від 0 до 65535 |
write (–ln) |
– писати, написати, надрукувати |
Використана література
1.Информатика. Базовий курс. /Симонович С.В. и др. – СПб.: Издательст-
во «Питер», 1999. – 640 с.
2.Морзе Н.В. Методика навчання інформатики: Навч. посіб.: У 4 ч. / За ред. акад. М.І. Жалдака. – К.: Навчальна книга, 2003. – Ч. ІV: Методика навчання основ алгоритмізації та програмування. – 368 с.
3.Абрамов С.А., Зима Е.В. Начала информатики - М.: Наука, 1990. - 256 с.
4.Касьянов В.Н., Сабельфельд В.К. Сборник заданий по практикуму на ЭВМ. – М.: Наука, 1986.
5.Пильщиков В.Н. Упражнения по языку Паскаль. – М.: Изд–во МГУ,
1986.
6. Турбо Паскаль 7.0 – К.: Издательская группа BHV, 1996. – 448 с.
7.Марченко А.И., Марченко Л.А. Borland Pascal 7.0 / Учебное пособие. –
К., «ЮНИОР», 1995. - 480 с
95
Зміст
Лабораторна робота № 1 “Середовище програмування Turbo Pascal” _ 4
Лабораторна робота № 2 “Лінійні програми” _____________________ 8
Лабораторна робота № 3 “Умовні оператори. Оператор розгалуження”______________________________________________ 16
Лабораторна робота № 4 “Умовні оператори. Оператор вибору” ___ 20
Лабораторна робота № 5 “Циклічні оператори.
Цикли з параметром” _______________________________________ 33
Лабораторна робота № 6 “Циклічні оператори. Умовні цикли” ____ 28
Лабораторна робота № 7 “Процедури та функції” _______________ 36
Лабораторна робота № 8 “Рекурсія” ___________________________ 43
Лабораторна робота № 9 “Одновимірні масиви” _________________ 47
Лабораторна робота № 10 “Двовимірні масиви або матриці” ______ 50
Лабораторна робота № 11 “Сортування в структурах даних” _____ 58
Лабораторна робота № 12 “Робота з рядками” __________________ 63
Лабораторна робота № 13 “Робота з мно жинами” _______________ 66
Лабораторна робота № 14 “Робота з текстовими фа йлами ” ______ 75
Лабораторна робота № 15 “Записи” ___________________________ 71
Лабораторна робота № 16 “Робота з типізованими файлами” _____ 80
Лабораторна робота № 17 “Середовище Турбо -Прологу.
Створення простої бази даних” _______________________________ 89
Лабораторна робота № 18 “Середовище Турбо-Прологу. Факти і правила. Трасування програм”_________________________________ 90
Глосарій ___________________________________________________ 92
Використана література ____________________________________ 95
96