prolog tilining asosiy tushunchalari va shartlari

DOCX 12 pages 29.2 KB Free download

12 pages

FaylHub.uz

Download via Telegram

Size 29.2 KB

File type DOCX

Pages 12

Updated Dec 2025

Page preview (5 pages)

Scroll down 👇

1 / 12

mavzu: 13.prolog tilining asosiy tushunchalari va shartlari. reja: 1. prolog tilining asosiy tushunchalari va shartlari 2. prologda xulosa chiqarish jarayoni. prologda xulosa chiqarish jarayoni. ba'zi adabiy asarlar muqaddima (pro-log deb talaffuz qilinadi) bilan boshlanadi, u qisqacha kirish bo'limi bo'lib, u asosiy ma'lumot beradi yoki kelajakdagi hikoya uchun asos yaratadi. muqaddima odatda juda qisqa, ehtimol bir necha sahifadan iborat (har bir film uchun besh daqiqa yoki undan ko'proq). keyinchalik kitobga muqaddima kerakmi? agar sizda asosiy romanga qo'shilmaydigan o'quvchiga etkazishingiz kerak bo'lgan ma'lumotlaringiz bo'lsa, sizga muqaddima kerak bo'lishi mumkin. hikoya muqaddimasiz mantiqiy bo‘lmasa. agar siz muqaddimani olib tashlasangiz (yoki o'quvchi uni o'tkazib yuborishi mumkin) va uning tushunchasiga ta'sir qilmasa, unda prolog kerak emas. prolog - deklarativ mantiqiy dasturlash tili. u birinchi tartibli predikatlar hisobi tiliga va teoremani avtomatik isbotlash usuliga asoslanadi. prolog 1970-yillarning boshlarida paydo bo'lgan mantiqdan dasturlash tili sifatida foydalanish g'oyasining timsolidir va uning nomining o'zi "mantiqda dasturlash" (mantiq nuqtai nazaridan …

2 / 12

sa'y-harakatlari hal qilinayotgan muammoning predmet sohasi bo'lagining mantiqiy modelini mavzu sohasi ob'ektlari, ularning xususiyatlari va bir-biri bilan munosabatlari nuqtai nazaridan tavsiflashga qaratilgan bo'lishi kerak. dasturiy ta'minotni amalga oshirish tafsilotlari. aslida, prolog dasturlash tili emas, balki ma'lumotlarni va ularni qayta ishlash mantig'ini tavsiflovchi tildir. prolog dasturi klassik ma'noda bitta emas, chunki unda shartli bayonotlar, sikl bayonotlari va boshqalar kabi aniq boshqaruv tuzilmalari mavjud emas. bu muammoda muhokama qilinadigan mavzu sohasining bir qismining modelidir. va muammoning yechimi kompyuter nuqtai nazaridan emas, balki hal qilinayotgan muammoning predmet sohasi nuqtai nazaridan, hozir moda bo'lgan ob'ektga yo'naltirilgan dasturlash ruhida yozilgan. prolog ob'ektlar orasidagi munosabatlarni tasvirlash uchun juda mos keladi. shuning uchun prolog relyatsion til deb ataladi. bundan tashqari, prologning "nisbiyligi" ma'lumotlar bazalarini qayta ishlash uchun ishlatiladigan tillarning "munosabatlari" ga qaraganda ancha kuchli va rivojlangan. ko'pincha prolog ma'lumotlar bazasini boshqarish tizimlarini yaratish uchun ishlatiladi, ular prologda yozish juda oson bo'lgan juda murakkab so'rovlardan foydalanadilar. prologda imperativ …

3 / 12

da mavjud bo'lmagan bir qator mexanizmlarga ega: naqshlarni moslashtirish, qidirish va qaytarish bilan xulosa qilish. yana bir muhim farq shundaki, prolog massivlarni emas, balki ma'lumotlarni saqlash uchun ro'yxatlardan foydalanadi. tilda tayinlash va shartsiz o'tish operatorlari, ko'rsatkichlar yo'q. rekursiya - bu tabiiy va ko'pincha dasturlashning yagona usuli. shuning uchun protsessual tillarda tajribaga ega bo'lgan odamlar ilgari hech qachon dasturlash bilan shug'ullanmaganlarga qaraganda deklarativ tillarni sekinroq o'zlashtiradilar, chunki prolog imperativ dasturlash stereotiplarini rad etib, boshqa fikrlash uslubini talab qiladi. prologni qo'llashning asosiy yo'nalishlari: amaliy prototiplarni jadal rivojlantirish; avtomatik dasturlash tizimlarini yaratish; mavjud tizimlar uchun tabiiy til interfeyslarini yaratish; ramziy hisoblar: tenglamalarni yechish, differentsiallash va integrallash; dinamik relyatsion ma'lumotlar bazalarini va ularga interfeyslarni loyihalash; ekspert tizimlari va ekspert tizimlarining qobiqlari; ishlab chiqarish jarayonlarini avtomatlashtirilgan boshqarish; teoremani avtomatik isbotlash; bir tildan boshqa tilga avtomatik tarjima; yarim avtomatik rejalashtirish; kompyuter yordamida loyihalash tizimlari; bilimga asoslangan dasturiy ta'minot, ekspert tizimlari; sun'iy intellekt vazifalarida bilimlarni ifodalash va …

4 / 12

ing rivojlanishi 1987 yilda boshlangan va bugungi kunda u tadqiqot, ta'lim va tijorat maqsadlarida keng qo'llaniladi. bu juda mashhur tizim bo'lib, asosan foydalanuvchilarga qulay muhit va grafik interfeys yaratish uchun portativ kutubxona tufayli. swi-prolog, deyarli barcha ilovalar singari, asosan mashhur "benchmark" - edinburgh prologga amal qiladi, lekin iso prologning qisman amalga oshirilgan xususiyatlarini o'z ichiga oladi. swi-prolog tezkor kompilyator, profil yaratuvchisi, kutubxonalar to'plami va c modullarini ulash uchun qulay interfeysni o'z ichiga oladi. u hp, ibm linux, next, os/2, sun va sparc kabi bir qator unix platformalari, shuningdek, an'anaviy windows ot oilasi uchun joriy qilingan. prologda xulosa chiqarish jarayoni. ushbu bo'lim prolog tilida ruxsatni o'rganadi. prolog tilidan unumli foydalanish dasturchidan prolog til tizimi uning dasturi bilan nima qilayotganini aniq bilishini talab qiladi. prologdagi so'rovlar maqsadlar deb ataladi. maqsad qo'shma gap bo'lsa, uni tashkil etuvchi faktlarning (tuzilmalarning) har biri kichik maqsad deb ataladi. maqsadning to'g'riligini isbotlash uchun xulosa chiqarish jarayoni ma'lumotlar …

5 / 12

aqsadning haqiqatini chiqarish uchun foydalanishni so'rashimiz mumkin. bu vaqtinchalik x o'zgaruvchisini bob qiymati bilan yaratish uchun birlashtirishni amalga oshirish zaruratiga olib kelishi mumkin. endi maqsadni ko'rib chiqing odam (x). bunday holda, prolog til tizimi berilgan maqsadni ma'lumotlar bazasida saqlanadigan bayonotlar bilan solishtirishi kerak. topilgan birinchi ibora, parametr sifatida har qanday ob'ekt bilan belgilangan maqsad ko'rinishida, x o'zgaruvchisini ushbu ob'ekt qiymati bilan instantsiyalashiga olib keladi. agar ma'lumotlar bazasida belgilangan maqsad shakliga ega bo'lgan bayonotlar bo'lmasa, tizim "yo'q" deb javob berish orqali maqsadga erishish mumkin emasligini ta'kidlaydi. ma'lumotlar bazasida berilgan maqsad va faktni solishtirishda ikkita qarama-qarshi yondashuv mavjud. tizim ma'lumotlar bazasida saqlangan faktlar va qoidalar bo'yicha qidirishni boshlashi va maqsadga olib keladigan mosliklar ketma-ketligini topishga harakat qilishi mumkin. bu yondashuv pastdan yuqoriga o'lchamlari yoki oldinga zanjir deb ataladi. muqobil yondashuv shundan iboratki, tizim, aksincha, maqsaddan qidirishni boshlaydi va ma'lumotlar bazasida saqlanadigan ba'zi bir dastlabki faktlar to'plamiga olib keladigan mos keladigan bayonotlar ketma-ketligini …

Want to read more?

Download all 12 pages for free via Telegram.

Download full file

About "prolog tilining asosiy tushunchalari va shartlari"

mavzu: 13.prolog tilining asosiy tushunchalari va shartlari. reja: 1. prolog tilining asosiy tushunchalari va shartlari 2. prologda xulosa chiqarish jarayoni. prologda xulosa chiqarish jarayoni. ba'zi adabiy asarlar muqaddima (pro-log deb talaffuz qilinadi) bilan boshlanadi, u qisqacha kirish bo'limi bo'lib, u asosiy ma'lumot beradi yoki kelajakdagi hikoya uchun asos yaratadi. muqaddima odatda juda qisqa, ehtimol bir necha sahifadan iborat (har bir film uchun besh daqiqa yoki undan ko'proq). keyinchalik kitobga muqaddima kerakmi? agar sizda asosiy romanga qo'shilmaydigan o'quvchiga etkazishingiz kerak bo'lgan ma'lumotlaringiz bo'lsa, sizga muqaddima kerak bo'lishi mumkin. hikoya muqaddimasiz mantiqiy bo‘lmasa. agar siz muqaddimani olib tashlasangiz (yoki o'quvchi uni o'tkazib yuborishi mum...

This file contains 12 pages in DOCX format (29.2 KB). To download "prolog tilining asosiy tushunchalari va shartlari", click the Telegram button on the left.

Tags: prolog tilining asosiy tushunch… DOCX 12 pages Free download Telegram