Microsoft Word Книга иис мггу 1 Print doc


 Сравнение результатов арифметических выражений



Download 3,26 Mb.
Pdf ko'rish
bet100/149
Sana06.07.2022
Hajmi3,26 Mb.
#746520
1   ...   96   97   98   99   100   101   102   103   ...   149
Bog'liq
Makarenko-iis

14.6.4 Сравнение результатов арифметических выражений 
Системные предикаты 
=:=, =\=, >, <, >= 
и
<=
определены как 
инфиксные операторы и применяются для сравнения результатов двух 
арифметических выражений. 
Для 
предиката 
@
доказательство 
целевого 
утверждения 
X@Y
заканчивается успехом, если результаты вычисления арифметических 
выражений 
Х
и 
Y
находятся в таком отношении друг к другу, которое 
задается предикатом 
@

Такое целевое утверждение не имеет побочных эффектов и не может 
быть согласовано вновь. Если 
Х
или 
Y
— не арифметические выражения, 
возникает ошибка. 
С помощью предикатов описываются следующие отношения: 
Х =:= Y-Х
- равно 
Y

Х =\= Y-Х
- не равно 
Y

Х < Y-Х
- меньше 
Y

Х > Y-Х
- больше 
Y

Х <= Y-Х
- меньше или равно 
Y

Х >= Y-Х
- больше или равно 
Y

Использование предикатов иллюстрируют такие примеры: 
а > 5
- заканчивается неудачей, 
5+2+7 > 5+2
- заканчивается успехом, 
3+2 =:= 5
- заканчивается успехом, 
3+2 < 5
- заканчивается неудачей, 
2+1 =\= 1
- заканчивается успехом, 
N > 3
- заканчивается успехом, если 
N
больше 
3
, и неудачей 
в противном случае. 


131 
14.7 Структуры данных 
Термы 
Пролога 
позволяют 
выразить 
самую 
разнообразную 
информацию. Рассмотрим два вида широко используемых структур данных: 
списки и бинарные деревья, и покажем, как они представляются термами 
Пролога. 
14.7.1 Списки 
Задачи, связанные с обработкой списков, на практике встречаются 
очень часто. Например понадобилось составить список студентов, 
находящихся в аудитории. С помощью Пролога возможно определить список 
как последовательность термов, заключенных в скобки. Приведем примеры 
правильно построенных списков Пролога: 
[джек, джон, фред, джилл, джон]
[имя (джон, смит), возраст(джек, 24), X]
[Х.У.дата (12,январь, 1986) ,Х]
[] 
Запись 
[H|T]
определяет список, полученный добавлением 
Н
в начало 
списка 
Т
. Говорят, что 
Н
— голова, а 
Т
— хвост списка 
[H|T]
. На вопрос 
?-L=[a|[b, c, d]].
будет получен ответ
L=[a, b, c, d], 
а на запрос
?-L= [a, b, c, d], L2=[2|L] 
— ответ
L=[a, b, c, d], L2- [2, a, b, c, d] 
Запись 
[Н|Т]
используется для того, чтобы определить голову и хвост 
списка. Так, запрос 
?- [X|Y]=[a, b, c]. 
дает
Х=а, Y=[b, c] 
Заметим, что употребление имен переменных 
Н
и 
Т
необязательно. 
Кроме записи вида 
[H|T]
, для выборки термов используются переменные. 
Запрос 
?-[a, X, Y]=[a, b, c]. 
определит значения
X=b Y=c 


132 
а запрос 
?- [личность(Х)|Т]=[личность(джон), а, b]. 
значения 
Х=джон Т=[а, Ь]. 

Download 3,26 Mb.

Do'stlaringiz bilan baham:
1   ...   96   97   98   99   100   101   102   103   ...   149




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish