- •Қазақстан Республикасының Білім және Ғылым Министірлігі
- •5 Оқу пәнінің сипаттамасы
- •5.1 Оқу пәнінің қызметі.
- •5.2 Оқу пәннің оқыту мақсаты
- •5.3 Пәнді оқыту міндеттері
- •5.4 Оқу пәнінің мазмұны
- •5.5 Оқу пәнін оқыту жоспары
- •6 Негізгі және қосымша әдебиет тізімі
- •6.1 Негізгі әдебиет
- •6.2 Қосымша әдебиет
- •8 Оқу пәнінің саясаты
- •Дәріс конспектісі
- •Ақпараттық жүйелер мен ресурстар
- •Ақпараттық ресурстар
- •Сандарды ондық жүйеден кез келген жүйеге аудару.
- •Бақылау сұрақтары:
- •Есептеу техникасының даму тарихы.
- •1.Жүйелік блок
- •2.Монитор
- •3.Перне тақтасы
- •Бақылау сұрақтары:
- •Операциялық жүйе дегеніміз не?
- •Программалық қамту қалай жіктелінеді?
- •Қандай программалар қолданбалы деп аталады?
- •Жүйелік программалардың ролі қандай және олар қандай мақсатқа арналған?
- •Программалық қамтамасыз етудің даму диалектикасы
- •1 Сурет. Программалық қамтамасыз етуінің деңгейлері
- •Жаңа программалық қамтамасыз ету
- •Программалық қамтамасыз етудің түрлері (лицензиялық, шартты тегін, тегін) және оларды қолдану ережелері
- •Лицензиялық программалық қамтамасыз ету – бұл ресми программалық қамтама.
- •Программаны декомпиляциялау - бұл техникалық әдіс, құрамында программаның құрылымын зерттеу мақсатында объектілік кодты текстік күйге түрлендіру және эем үшін программаны кодтау.
- •Лицензиялық емес пқ – бұл әуесқойлық, жүктелген, бұзып алынған немесе қарақшыларының базарынан сатып алынған программалық қамтамасыз ету.
- •Қорап – бұл программаның дистрибутиві жазылған компакт-дискі, пайдаланушы нұсқаулары, лицензиялық келісім және бірнеше қағаз буклеттер салынған әдемі корапша.
- •Лицензия – бұл программалық өңімді қолдану құқығын беретін электронды растау.
- •Шартты-тегін программалар ( ағыл. Shareware) – бұл белгілі бір шарттармен тегін қолдануға болатын программалар.
- •Бақылау сұрақтары:
- •Тақырыбы: Аппараттық программалық қамтамасыз етудi даму диалектикасы. Дербес компьютерлердің құрылымдық ерекшеліктері бойынша жіктеуі
- •1946 Жыл эем кезеңін қайта есептеу нүктесі болып саналады, осы жылы есептеуші машинаның алғашқы тәжірибелі үлгісінің шығарылуы басталды.
- •Бақылау сұрақтары:
- •Мәтіндік құжаттарды қолдану салалары және түрлері
- •Мәтінді өңдеу процессінің аппараттық және программалық қамтамасыз етуі
- •Құжат терезесінің түрін баптау. Құжатты қарап шығу тәртіптемесі. Терезелерді бөлу және реттеу
- •Құжаттың касиеттеріне жеке мәліметтерді қалай қосуға болады?
- •Бақылау сұрақтары:
- •Тақырыбы: Стильдер. Стильдерді ауыстыру, жаңа стиль құру. Беттерді белгілеу. (2 сағат)
- •Мәтіннің абзацтарын, кестелерін, тізім және таңбаларының сыртқы түсін дереу өзгертетін және оларға қолданылатын пішімдеу параметрлерін стиль деп атайды.
- •Стильді құру және өзгерту
- •Беттерді белгілеу Беттердің параметрі
- •Қағаз өлшемі қосымшасы
- •Беттің өңі (фоны).
- •Беттердің және бөлімнің бөлінуі.
- •1 Тапсырма
- •2 Тапсырма
- •3 Тапсырма
- •1 Тапсырма
- •2 Тапсырма
- •3 Тапсырма
- •1 Тапсырма
- •2 Тапсырма
- •Бақылау сұрақтары:
- •Тақырыбы: Құжат құрылымы. Беттерді нөмірлеу. Колонтитулдер. Құжатта сілтемелерді ұйымдастыру. Сілтемелер. Айқасқан сілтемелер. Мазмұнды баптау. Заттық көрсеткіш. Әдібиеттер тізімі.
- •Құжат құрылымы. Беттерді нөмірлеу. Колонтитулдер.
- •Беттерді нөмірлеу. Колонтитулдер.
- •Құжатта сілтемелерді ұйымдастыру. Сілтемелер. Айқасқан сілтемелер. Мазмұнды баптау. Заттық көрсеткіш. Әдібиеттер тізімі. Сілтемелер.
- •Айқасқан сілтемелер.
- •Мазмұнды баптау.
- •Әдебиеттер тізімі
- •Қазақтың ұлттық спорт ойындары мен қазғалмалы ойындар
- •Бақылау сұрақтары:
- •Рецензиялау
- •Графиктік объектілерді және диаграммаларды кірістіру. Word қосымшасында графикпен танысу
- •Төсемді пайдалану
- •Графиктік объектіні пішімдеу.
- •Барлық суретті немесе сурет бөлігін жою.
- •Диаграмма және графиктер құру.
- •Қазақстан мәдениеті және ұлттық салт-дәстүр туралы
- •Кимешек
- •Тақырыбы: Макростар. Үстелдік баспа жүйелері. (2 сағат)
- •Макростар
- •Пернелерге макрос міндеті
- •Макросты жазу
- •Макрос терезесі арқылы макросты орындау.
- •Үстелдік баспа жүйелері
- •Жобалардың үлгі ретінде тақырыптары
- •Жобалар тақырыптары
- •Қосымша материал Басылымның түрлері
- •Тақырыбы: Scribus программасының интерфейсі. Жарияланымды құру және сақтау. Бейнені кірістіру және редакциялау. (2 сағат)
- •Scribus программасының интерфейсі. Жарияланымды құру және сақтау
- •Бейнені кірістіру және редакциялау
- •Тақырыбы: Мәтіндік блоктар және олардың түрленуі. Қабаттар. Scribus баспа жүйесіндегі шаблондар. (2 сағат)
- •Информатиканың негізгі объектісі, яғни оның шикізаты мен беретін өнімі ақпарат Мәтіндік блоктар және олардың түрленуі
- •Мәтінді құжатқа қалай орналастыруға болады?
- •Тре́кинг (ағылшын тілінен алынған, алшақтық, басындағы әріпті соңғы әріптерден ерекшелеуші)
- •Қабаттар. Scribus баспа жүйесіндегі шаблондар
- •Парақ шебері
- •Әлемдегі ең танымал газеттер
- •Баспаға арналған pdf
- •Желілік технологиялар
- •Компьютерлік желілердің түрлері.
- •Желілік техникалық құралдар. Жергілікті немесе аймақты тармақталған желілер архитектураларына байланысты негізгі компонеттер мен технологиялар мынадай бөліктерден тұрады:
- •5. Мәліметтер базасы
- •Интернетке қосылу
- •Хабардың тақырыбы
- •«Омар Хайям-математик және ақын» тақырыптық газет жасау
- •Шаблоннан құжат құру
- •Колонтитулдер, шебер-беттерін құру
- •Беттер-шеберін пайдалану
- •Батырмалар
- •Мәтіндік блоктарды құру
- •Мәтінді жүктеу және түзету
- •Батырманы және атауды көшіру
- •Презентациялар жарияланымы Тағы бір батырма қосып, «Қазақстанның Қызыл кітапқа енгізген өсімдіктер туралы» слайдты рәсімдеңіз.
- •Жобаларды әзірлеу
- •Жобалар тақырыбы:
- •«Адам және тарих» тақырыбы.
- •« Ешкімде, ештенеде ұмытылмайды» тақырыбына гезеттер.
- •Коммуникация – бұл хабарлама, берілім.
- •Телефон – бұл дыбысты үлкен ара қашықтыққа жеткізе алатын кез келген құрылғы.
- •Пейджер – жеке қоңырауларды қабылдағыш.
- •Мобильді байланыс – бұл белгілі бір жерге немесе аумаққа байланбаған, дыбыстық, мәтіндік, графикалық мәліметті сымсыз абоненттік терминалдарға жеткізетін телебайланыс түрі.
- •Электронды пошта (ағлш.Email, e-mail,ағлш. Тілінен electronic mail) – бұл технология мен ол ұсынып отырған қызметтер: бөлінген компьютерлік желіде хабарламаны тарату және қабылдау.
- •Таратылым тізімі (ағлш. Mailing list) – бұл белгілі бір жазылушылар тобына хабарламаларды жібіруге мүмкіндік беретін механизм.
- •Әлеуметтік желі – бұл контентті сол қатысушылардан құралған көп рет пайдалануға болатын интерактивті веб-сайт.
- •Дауыс конференциясы нені білдіреді? Дауыс конференциясы – бұл жекеленген бөлме түсінігіне негізделген, көптеген коммуникациялар түрі.
- •VoIp (ағлш. Voice over ip; ip-телефония) – бұл сөз сигналының тасымалын Интернет немесе басқа кез келген ip-желі арқылы қамтамасыз ететін байланыс жүйесі.
- •Интернет – бұл ғылыми, іскерлік, танымал және көңіл көтеретін ақпаратты ашық түрде сақтау және тарату құрылғысы.
- •Интернет-аналитика – бұл аналитиканың жеке жағдайы, нақтырақ айтқанда, процесс және Интернеттің аудиториясын түсінуіне, олардың көздерімен талаптарына қолданылатын әдістемесінің анализі.
- •Библиометрика – бұл ақпарат және мәтіндерді зерттеу тәсілдерінің жиынтығы.
- •Мәтін оқылымы – бұл мәтіннің мақсатты аудиторияға түсінікті болуы және онымен қабылдануы.
- •Сұхбат (сұхбат, ағлш. Interview) – бұл интервьюер өз әңгімелесушісіне сұрақтар қойып және ол сұрақтарға жауап алатын екі немесе одан да көп адамдар арасындағы әңгіме түрі.
- •Респондент - бұл сұхбаттың сұрақтарына жауап беретін адам.
- •Ақпараттық қауіпсіздік. Ақпаратқа қол жетімдік саласындағы Қазақстан Республикасының заңнамасы.
- •Файлдарды архивтеудің қажеттілігі
- •Ағымдағы каталогтардағы файлдарды сығу
- •Ақпараттық коммуникациялық технологиялар. “Электронды үкімет” инфрақұрылымы.
Бақылау сұрақтары:
Есептеу техникасының даму тарихы.
Фон-Нейман принципі.
ЭЕМ-нің жіктелуі.
Жүйелік блоктың ішкі құрылғылары.
Дәріс №4
Тақырыбы: Алгоритмдеу есептерінің негізі. Операциялық жүйе. Файл. Программалық қамтамасыз етудің даму диалектикасы. Программалық қамтамасыз етудің түрлері (лицензиялық, шартты тегін, тегін) және оларды қолдану ережелері. (2 сағат)
Жоспары: Алгоритмдеу есептерінің негізі. Есепті шешудің стратегиялары және шешімді іздеу. Алгоритмдер концепциялары мен қасиеттері, алгоритмдерді жүзеге асыру. Блок-схема алгоритмінің графикалық өңделуі. Ақырғы автоматтар. Пост және Тьюринг машиналары. Программалық қамтамасыз етудің даму диалектикасы. Программалық қамтамасыз етудің түрлері (лицензиялық, шартты тегін, тегін) және оларды қолдану ережелері.
Мақсаты: алгоритм ұғымы, есепті шешудің стратегиялары, алгоритмдер қасиеттері, блок схема алгоритмімен және программалық қамтамасыз етудің даму диалектикасымен, программалық қамтамасыз етудің түрлерімен (лицензиялық, шартты тегін, тегін) және оларды қолдану ережелерімен таныстыру.
Негізгі ұғымдар тізбесі: алгоритм, блок-схема, псевдокод, цикл, код, объект, класс, қолданбалы ПҚ, қызметтік ПҚ, жүйелік ПҚ, негізгі ПҚ, лицензиялық, шартты тегін және тегін программалық қамтамасыз етулер.
Алгоритм дегеніміз берілген есепті шешуге арналған қатаң анықталған әрекеттер тізбегі немесе, қысқаша айтқанда, есепті шешу әдісі. Алгоритмнің негізгі қасиеттеріне тоқталайық:
Алгоритмнің дискреттілігі. Бұл қасиет алгоритм түрінде жазылған есеп шешімі жеке жәй командаларға бөлініп орындалу ретіне қарай орналасқанын көрсетеді.
Алгоритмнің анықтылығы. Бұл қасиет алгоритмнің әр командасы орындаушыға түсінікті болуын және мәнсіз орындалмауы керектігін көрсетеді.
Алгоритмнің нәтижелігі. Бұл қасиет алгоритмнің ақырлы қадам санынан кейін нәтиже алатынын көрсетеді.
Алгоритмнің жалпылығы. Бұл қасиет есепті шешуге арналған алгоритмнің осы типтес есептердің барлық мүмкін мәндері үшін орындалатынын көрсетеді.
Алгоритмді сипаттаудың бірнеше түрлері бар.
Алгоритмді сөз – формула арқылы сипаттау, яғни алгоритмді сөз және формулалар көмегімен сипаттау.
Алгоритмнің графикалық сипатталуы, яғни алгоритмді арнайы графикалық схемалар – блок-схемалар көмегімен сипаттау.
Алгоритмді псевдокод арқылы сипаттау. Псевдокод дегеніміз – команда әрекетінің, яғни алгоритм қадамының нақты программалау тілі операторларын қолданбай жәй тілмен сипатталуы.
Алгоритмді бағдарламалау тілдерінің бірі арқылы жазу (Pascal, Basic).
Алгоритмнің негізгі құрылымдары. Алгоритм негізгі 3 базалық құрылымға бөлінеді:
сызықтық;
тармақталушы;
циклдік.
Сызықтық алгоритмдерде есеп шешімінің қадамдары бірінен кейін бірі тізбектей орындалады.
Тармақталушы алгоритмдерде алдымен қандайда бір шарт тексеріледі және шарттың орындалуына немесе орындалмауына сәйкес есептеу процесінің бірі орындалады.
Бағдарламалау тілдері және негізгі классификациясы.
Қазіргі кезде 3500-ден жоғары әр түрлі бағдарламалау тілдері бар және осылардың ішінен шектелген саны ғана программалық бөлімді құруға жаппай қолданылады. Бағдарламалау тілдерінің саны көп болуына байланысты олардың бірнеше классификациясы бар. Оның ішінде негізгі 2 түрге: фукционалдық мәніне (қызметі) және қолданылатын бағдарламалау технологиясына байланысты бөлінеді. Бағдарламалау тілдері фукнционалдық мәніне байланысты 4 үлкен классқа бөлінеді:
бағдарламалауға үйретуші;
жалпы мәнді;
проблемалық-бағытталған;
параллель бағдарламалаушы.
Қазіргі жоғары деңгейлі тілдерді осы классикацияға сәйкес қарастырамыз.
Бағдарламалауға үйретуші тілдер қатарына жататын жоғарғы деңгейлі тілдердің негізгілері Logo, Basic және Pascal. Logo тілі 60-шы жылдардың аяғында С.Пейперттің басшылығымен құрылды және ЭЕМ жаңа қолданушыларға, балаларға бағдарламалаудың негізін үйретуге бағытталған. Үйретуге арналған жоғары деңгейлі тілдердің ішіндегі кең тарағаны 1965 жылы Д.Кемени мен Т.Курц құрған Basic тілі. Дербес компьютерлерге бірінші қолданылған жоғарғы деңгейлі тіл және операциялық ортасы – Basic тілі. 60-жылдардың ортасынан бастап мамандар арасында құрылымдық бағдарламалау мәселесі көтеріле бастады. 1971 жылы Н.Вирт құрылымдық технологияға үйретуші Pascal тілін құрды.
Жалпы мәнді жоғары деңгейлі тілдер қатарына әр түрлі класс есептерін тиімді бағдарламалауға бағытталған тілдер жатады. Бұл классқа жататын тілдердің негізгілері C, Modula, Ada тілдері. Бұл тілдердің негізі 1966 жылы құрылған, ғылыми, пәндік облыстағы есептерді бағдарламалауға мүмкіндік беретін PL/1 тілі. PL/1 тілі ЖС ЭЕМ сериялы модельдерде кеңінен қолданылды. Си тілін 1972 жылы Д.Ритчи құрды және Unix операциялық жүйесі осы тілде жазылды. Си тілі ассемблер тілінің де және жоғары деңгейлі тілдің де мүмкіндіктерін қамтамасыз ететін болғандықтан орта деңгейлі тіл деп атайды. Pascal тілінің идеологиясын тарату мақсатымен Н.Вирт 1980 жылы Modula–2 тілін құрды. Бұл бағдарламалау тілінің негізі – бағдарлама бір-біріне тәуелсіз модульдерден тұрады.
1978 жылы қазіргі АҚШ-та әскери қаруды басқаруға қолданылатын қосымшаларды бағдарламалауға арналған Ada тілі құрылды. Ada тілі құрылымды бағдарламалау тілі болып табылады және параллель бағдарламалау мүмкіндіктерін қамтамасыз етеді.
Проблемалық–бағытталған жоғары деңгейлі тілдер деп нақты пәндік облыс есептерінің мәселесін түгел қамтитын тілдерді атаймыз. Бұл классқа жататын бірінші жоғары деңгейлі тіл – Fortran тілі. Fortran-I тілін 1956 жылы IBM фирмасы құрды және ғылыми-техникалық есептерді шешуге арналған.
Жасанды интеллект символдық ақпараттарын және тізімдерін өңдеуге арналған есептерді бағдарламалауға Lisp, Prolog тілдері қолданылады. Lisp тілін 50-жылдары Д.Макартни құрды. 70-жылдары Lisp тілінің негізінде құрылған Prolog тілі логикалық бағдарламалау тілі болып табылады және 5 буынның ЭЕМ жапон проектісінде негізгі тіл болып таңдалған. Әр Prolog бағдарлама, жәй тұжырымдар немесе импликациялардан тұратын сөйлемдерден тұрады, инструкция қолданылмайды.
Дәстүрлі неймандық архитектурадан ЭЕМ дәстүрлі емес параллель архитектуралы есептеу машиналарына көшуіне байланысты параллель алгоритмдерді сипаттаушы инструментальды құрылғылар пайда бола бастады. Параллель бағдарламалау тілдерінің негізі – параллель есептеулерді бағдарламалау процесін ықшамдау, параллель архитектуралық есептеу машиналарына арналған параллель программалық жүйелердің тиімдісін алу. Параллель бағдарламалауды жабдықтаудың қиындығы тиімді параллель жөндеушілерді құру. Қазіргі кезде қолданылып жүрген интерактивті параллель жөндеушілер IPSC (Intel фирмасының дербес компьютерлеріне арналған) және PDBX (мультипроцессорлы ЭЕМ арналған). Жиі қолданылатын векторлы матрицалық есептерге параллель бағдарламалар кітапханасы құрылған, BLAS - сызықтық алгебра бағдарламаларының кітапханасы, NAG – сандық алгоритмдер кітапханасы. Бұл есептерге белгілі матрицалы параллельдеушілер ProSolvar (Intel фирмасы) және жалпы мәнді параллельдеуші Parafrace (Д.Кук құрған) қолданылады.
Бағдарламалау технологиялары
Бағдарламалау процесін жақсартатын және кең қолданылатын әдістердің бірі – құрылымдық бағдарламалау. Құрылымдық бағдарламалаудың 3 бөлігі (құраушысы) бар:
Модульдік бағдарламалау
Құрылымдық кодтау
Жоғарыдан төменге қарай жобалау
Модульдік бағдарламалау дегеніміз – бағдарламаны логикалық бөліктерге бөлу процесі. Бағдарлама бірнеше модульдерге бөлінеді және мына 2 мақсат орындалуы тиіс:
Модульдің дұрыс болуы және оның контекстерден тәуелсіз болуы қажет;
Модульдің ішкі жұмыстарын білмей тұрып, әр түрлі модулдерден бағдарлама құру мүмкіндігінің болуы қажет.
Мысал ретінде стандарт математикалық функциялардың есептелу бағдарламасын қарастыруға болады. Бағдарламашы sin(x) функциясын бағдарламаның кез-келген жерінде қолдана алады және оған функцияның есептелуіне қай әдістің қолданып тұрғанын білудің қажеттілігі жоқ. Модуль өлшемі 60 жолдан аспауы керек және модульдер өзара тәуелсіз болуы керек. Байланысқан элементтерді бір модульге, байланыспаған элементтерді әр түрлі модульге жинау керек. Модульдерді қолдана отырып бағдарлама күрделілігін төмендетуге болады.
Pascal тілінде модуль процедуралар мен функциялардың көмегімен құрылады, Cи тілінде функциялардың көмегімен құрылады.
Құрылымдық кодтау деп бағдарламада басқарушы конструкциялардың шартты операторлардың, циклдің (параметрлі, цикл-әзір, цикл-дейін) қолданылуын айтады. Шартсыз көшу операторы бағдарламада сирек қолданылуы керек немесе шартты оператордың, циклдің көмегімен өзгертілуі керек.
Бағдарламаны жоғарыдан төмен қарай жобалаудың өз иерархиялық құрылымы бар және қысқа есеп қойылымынан басталады. Одан кейін есеп бірнеше ұсақ ішкі есептерге бөлінеді. Ішкі есептердің өзі де ішкі есептерге бөлінуі мүмкін. Әр қадамда ішкі есептің орындайтын негізгі функциялары анықталуы керек. Бөлу процесі әр ішкі есеп қарапайым болғанға дейін, яғни әр ішкі есепке бір модуль сәйкес келгенше созылады.
Объекті-бағытталған бағдарламалау
Объекті-бағытталған бағдарламалау тілдерінің негізгі концепциясы– құрылатын қосымша өзара байланысқан негізгі объектілерден тұрады. Объекті-бағытталған технологияда қолданушы үш базалық элементпен: объектілер, хабар және класстармен жұмыс істейді.
Объектілер дегеніміз бірнеше рет қолданылатын программалық модулдерден, яғни байланысқан мәліметтер мен процедуралардан тұрады. Объект құрылымы екі бөліктен тұрады: айнымалылар және әдістер. Әдістер объект функциясының алгоритмін анықтайтын процедуралар мен функциялар жиынынан тұрады. Объектілі айнымалылар жәй мәліметтерден (сан, массив, текст) және күрделі құрылымды ақпараттардан (график, дыбыс т.б.) тұрады.
Объектілердің өзара байланысуына хабарлар қолданылады және үш бөлімнен тұрады: объект идентификаторы, ағымдағы объектіде қолданылатын әдіс аттары және таңдалған әдіс режимін қалпына келтіретін қосымша ақпараттар. Күрделі бағдарламалар бірнеше біртипті объектілерді қолдануы мүмкін. Бұл жағдайда әр объект үшін әдістер мен айнымалылар туралы ақпаратты жазу тиімсіз. Бұл мақсатқа объектілер класы деген түсінік енгізілген. Класс дегеніміз біртипті объектілерге арналған шаблон және объектілі айнымалылар типтері мен әдістерін анықтайтын ақпараттардан тұрады.
Объекті-бағытталған технологияға негізделген бағдарламалау тілдері: SmallTalk/v, Object Pascal, ACT++, C++, Simula, Actor, Classic–Aga және т.б.
Объекті-бағытталған бағдарламалаудың негізгі үш принципі бар: инкапсуляция, тұқымқуалау, полиморфизм.
Логикалық бағдарламалау
Логикалық бағдарламалау тілдері PROLOG және LISP жасанды интеллект проблемаларының есептерін шешуге арналған. LISP тілін 50-інші жылы Д.Макартни символдық ақпараттарды өңдеуге арнап құрды. LISP тілінің мәліметтерінің негізгі құрылымы тізімдер, тізімнің элементтері атомдар. Lisp тілінің бір ерекшелігі динамикалық жаңа объектілерді құру мүмкіндігі, объект есебінде бағдарламаның өзі де қатыса алады..
LISP тілі және оның модификациялары символды өңдеуге арналған бағытталған программалық бөлімді құруға кең қолданады және қазіргі кезде көптеген тиімді компиляторлары бар.
70-жылдары Lisp тілінің негізінде құрылған Prolog тілі логикалық бағдарламалау тілі болып табылады. Prolog бағдарламасының негізгі элементі атом болып табылады және жеке объектілер арасындағы қарапайым қатынастарды көрсетеді, басқа бағдарламалау тілдеріне қарағанда атом түсінігінің мағыналық мәні басқа. Тіл тек сипаттамадан тұрады және инструкциялары жоқ, яғни процедуралы емес. Әр Prolog бағдарламасы сөйлемдер жиынынан тұрады, яғни жәй тұжырымдар немесе импликациялар. Prolog тілінің базасында эксперттік жүйелер, білімді көрсететін жүйелер, білім базасы және жаратылыс тілдерін өңдейтін жүйелер құрылады. Prolog тілінің негізіне математикалық логика элементтері қолданылады. Бағдарлама объектілер арасындағы қатынас терминдері арқылы сипатталады. Логикалық бағдарламалау тілдерінің жетістігі параллель бағдарламалау принципі қолданылады. Prolog тілінің көптеген танымал модификациялары бар, оның ішінде ең көп тарағаны – Borland фирмасының Turbo Prolog бағдарламалау жүйесі. Жасанды интеллект проблемасына арналған жаңа логикалық және функционалды бағдарламалау тілдері құрылуда, мысалы, DURAL, VALID тілдері.