ПОӘК 042-39.1.54/03-2015

03.09.2015 ж. № 1 басылым

63 беттің 63

ҚАЗАҚСТАН РЕСПУБЛИКАСЫ БІЛІМ ЖӘНЕ ҒЫЛЫМ МИНИСТРЛІГІ шәкәрім атындағы семей мемлекеттік университеті
3 деңгейлі СМЖ құжаты	ПОӘК	ПОӘК 042-39.1.54/03-2015
«Пролог логикалық программалау тілі» пәнінің оқу- әдістемелік кешені	№1 басылым 03.09.2015 ж.

«Пролог логикалық программалау тілі»

пәнінің оқыту-әдістемелік кешені

5В011100 - «Информатика» мамандығына арналған

Оқу-әдістемелік материалдар

Семей

2015

МАЗМҰНЫ

	Глоссарий
	Дәрістер
	Зертханалық сабақтар
	Студенттердің өздік жұмыстар жоспары

1. Глоссарий

Осы ОӘМ келесі терминдер қолданылған:

Жылдам сұрыптау

Белгілі бір салыстырмалы элемент таңдалады, оған қатысты бастапқы тізім екіге бөлінеді. Біреусіне салыстырмалы элементтен кіші тізім мүшелерін орналастырамыз, екіншісіне салыстырмалыдан үлкен немесе оған тең тіізм мүшелерін орналастырамыз. Əр тізімді дəл сондай əдіспен сұрыптаймыз. Нəтижесінде реттелген тізім келіп шығады.

Бэктрекинг

Бұл механизмнің мағынасы төмендегідей: программаның бірнеше вариантты таңдайтын мүмкіндігі бар жеріне пролог арнайы стек орналастырады да, қажет кезінде сол нүктеге программаны қайтарады. Қайтару нүктесі откат кезінде қажетті мағлұматты сақтайды. Мүмкін варианттардың біір таңдалады да программа əрі қаарй жалғасады.

Файлдың ішкі аты

Бұл файлдың программа ішіндегі символдық атауы. Бұны тағы файлдың логикалық аты деп те атайды. Бұл атау кіші əріптен басталуы қажет.

Ішкі деректер қоры

Бұл тек қана машинаның лездік жадында өңделетін деректер қоры.

Тармақ биіктігі

Тармақ негізінен жапыраққа дейінгі ең үзын жол.

Граф

Бұл жиынтықтың жұбы: түтүйндер жиынтығы мен доғалар жиынтығы.

Декларативті модель

Программада анықталған қатнасатарды қаарстыратын моделдер.

Декларативті тіл

Формалданған адамның ойлау жүйесінің логикасына негізделген тіл. Адам тек есептің сипаттамасын береді, ал жүйе есептің шешуін іздейді.

Тармақ деп графты атайды. Оның бір ғана негізі бар, қалған тармақтар бір ғана түбірден тармақталады. Қалған тармақтар нгізгі тармақтың ұрпақтары болып саналады.

Императивтің тілдер

Императивтің тілдер есептегіш машинаның фон неймандық қағидасына негізделген.

Программист алдымен есептің моделін формалды түрде шығарып алып, соңынан сол есебінің моделін машина тіліне яғни компьтер терминіне түсіреді.

Тармақ негізі

Тармақ негізі деп барлық жапырақатар жиынтығын атайды.

Тармақ жапырағы

Тармақ жапырағы ұрпағы жоқ түйін аталады.

Жиынтықтың қуаты

Шекті жиынтық үшін бұл жиынтықтағы элементтер саны.

Біріктіру операциясы

Екі жиынтықты біріктіру нəтижесінде екі жиынтықта да бар элементерден тұратын жаңа жиынтықты айтады. Жиынтықтарды біріктіруді математикалық жолмен төмендегідей белгіліейді : AB={x | xA или xB}.

Қиып өту операциясы

Екі жиынтытықтың қиып өтуі нəтижеінде екі жиынтықтада бар элементтерден құралған жаңа жиынтықты айтады. Жиынтықтарды қиып өтуі математикалық жолмен төмендегідей белгіліейді: AB={x|xA и xB}.

Айырма операциясы

Екі жиынтытың айырмасы деп екінші жиынтықта жоқ бірінші жинытықтың элементтерінен тұратын жаңа жиынтықты айтады. Жиынтықтарды айырмасы математикалық жолмен төмендегідей белгіліейді :

A\B={x|xA и хB}

Процедурлық Модель

Ережелер тақырыбында берілген қатнасты сəтті орындау үшін қолданылатын ережелер қадамының тізбегі

Көпіршіктік сұрыптау

Қатар орналасқан көрші элементтерді бірімен бірін салыстырып дұрыс тəртіпке келтіру əдісі.

Жол

Доғалар арқылы қосылған түйіндер тізбегі. Бағытталған граф үшін жол бағыты доға

бағытына сəйкес келуі керек.

Қыстыру арқылы сұрыптау

Егер тізімнің аяғы сұрыпталған болса, онда тізімнің бірінші элементін аяқ жақтағы орнына қойса тізім сұрыпталады.

Іріктеу арқылы сұрыптау

Тізімдегі минимальды элементті тауып, тізімнен алып тастап қалған тізімді сұрыптап? Ал минимальді элементті тізімнің басына əкеліп қою арқылы тізімді реттеу əдісі.

Тізім.

Бұл үтір ақылы ажыратылған элементтер жиынтығы [H|T] түрдегі құрылым. ([ ]) – бос тізім, H тіізмнің басы, T- тізім аяғы деп белгіленеді.

Жол

Пролог жүйесінде жол деп тырнақшаға алынған таңбалар тізбегі айтылады.

Айғақ

Айғақ - Объектілер арасында белгілі бір қатнастың орындалғанын тұжырымдайды. Ол тек тақырыптан ғана тұрады. Яғни айғақ деп бос сөйлемді атауға болады.

Цикл

Цикл деп басы мен аяғы сəйкес келетін жолды атайды.