prologda faktlar va predukatlarni yaratishi va prologning asosiy tushunchalari

DOCX 11 стр. 1,2 МБ Бесплатная загрузка

11 стр.

FaylHub.uz

Скачать через Telegram

Размер 1,2 МБ

Тип файла DOCX

Страницы 11

Обновлено Дек 2025

Предварительный просмотр (5 стр.)

Прокрутите вниз 👇

1 / 11

mavzu:21. prologda faktlar va peredikatlarni yaratishi va prologning asosiy tushunchalari. reja: 1. prologda faktlar va peredikatlarni yaratishi. 2. prologning asosiy tushunchalari. 3. prolog tilining ilovalari. prologda faktlar va peredikatlarni yaratishi. darsning maqsadi. ushbu darsda biz predikatlarning tuzilishini (strukturasini) o'rganamiz va ularning bilimlarni ifodalash uchun qanday imkoniyatlari borligini bilib olamiz. shuningdek, biz o'zgaruvchilarni aniqlaymiz, qo'g'irchoq o'zgaruvchi tushunchasi bilan tanishamiz, shuningdek, prolog dasturlarida qanday rol o'ynashini bilib olamiz. predikatlar (munosabatlar) aks holda predikat nomi deyiladi. munosabatda ishtirok etuvchi predmetlar predikativ argumentlar deyiladi; faktda likes(bill, cindy) da, likes munosabati predikat, bill va cindy predmetlari esa predikatning argumentlari hisoblanadi. bu yerda nol yoki undan ortiq argumentli predikatlarning ba'zi misollari keltirilgan. oldindan (butun son, belgi) kiritish_rejimi tug'ilgan kun (ismi, familiyasi, sanasi) predikatlar hech qanday dalilni qabul qila olmaydi. biroq, bunday predikatlarni ishlatishdan saqlaning. gap shundaki, ularning ma'nosi (semantikasi) dasturni o'qiyotgan foydalanuvchi uchun har doim ham tushunarli emas. predikatning ma'nosi aniq bo'lsa, ulardan foydalaning. o'zgaruvchilar (umumiy …

2 / 11

eksperimental namoyish tizimi) va marsellik alen kolmeroe (amalga oshirish) edi. prolog tilining ommalashishiga 1970-yillarning oʻrtalarida edinburglik devid d.g. uorren tomonidan tilning samarali qoʻllanilishi katta yordam berdi. ushbu sohadagi so'nggi ishlanmalar odatda prolog tizimining bir qismi sifatida amalga oshiriladigan constraint logic programming (clp) dasturlash vositalarini o'z ichiga oladi. clp vositalari rejalashtirish va xaridlarni rejalashtirish vazifalari uchun juda moslashuvchan vosita ekanligini isbotladi. 1996 yilda esa prolog tili uchun rasmiy iso standarti nashr etildi. prologda dasturlashda dasturchining 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 mantiqini tavsiflash tilidir. 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 …

3 / 11

r ma'lum bir mavzu bo'yicha muammolarni hal qilish yo'llarini topish uchun mo'ljallangan, ma'lumotlar bazasi yozuvlari va vaziyatning foydalanuvchi tavsifi asosida. tashkilotda ekspert ma'lumotlarini saqlash tizimlarini yaratish uchun oddiy bilim bazalaridan foydalanish mumkin: hujjatlar, qo'llanmalar, texnik yordam maqolalari. bunday bazalarni yaratishdan asosiy maqsad yordam berishdir tajribali odamlar uchun muammoni qanday hal qilish bo'yicha allaqachon mavjud tavsifni topish prologni qo'llash sohalari haqida gapirganda, u grafiklarni qayta ishlash, hisob-kitoblar yoki raqamli usullar bilan bog'liq muammolarni hal qilish uchun yomon moslashtirilganligini darhol ajratib ko'rsatish kerak. shu bilan birga, u raqamli usullardan farqli o'laroq, kompyuterda matematik muammolarni echishning analitik usullarini amalga oshirish bilan shug'ullanadigan va dastlabki ma'lumotlar, shuningdek, yechim natijalarini nazarda tutadigan kompyuter algebrasida muvaffaqiyatli qo'llanilishi mumkin. , analitik shaklda tuzilgan. prologni qo'llashning asosiy yo'nalishlari sifatida quyidagi sohalarni qayd etish mumkin: • amaliy dasturlarning tezkor prototiplarini ishlab chiqish; • ishlab chiqarish jarayonlarini boshqarish; • dinamik relyatsion ma'lumotlar bazalarini yaratish; • bir tildan boshqa tilga tarjima …

4 / 11

abatlarni ko'rib chiqadi. ushbu model uchun dasturdagi bandlarning tartibi va qoidadagi shartlar muhim emas. protsessual model qoidalarni qoida sarlavhasida berilgan munosabatlarga rioya qilish uchun muvaffaqiyatli bajarilishi kerak bo'lgan bosqichlar ketma-ketligi sifatida ko'rib chiqadi. boshida bir xil nomli va bir xil miqdordagi argumentli predikatga ega bo'lgan jumlalar to'plami protsedura sifatida ko'rib chiqiladi. protsessual model uchun gaplardagi gaplar va shartlarning yozilish tartibi muhim ahamiyatga ega. an'anaviy dasturlash tillaridan farqli o'laroq, tsikllar takrorlanuvchi harakatlarni tashkil qilishning asosiy vositasi bo'lib, prologda orqaga qaytish (orqaga qaytarish) va rekursiya qo'llaniladi. orqaga qaytarish dasturga bitta savolda ko'plab yechimlarni olish imkonini beradi, rekursiya esa undan predikatni aniqlash jarayonida foydalanishga imkon beradi. rekursiya nafaqat prologda, balki boshqa dasturlash tillarida ham qo'llaniladi. lekin prologda boshqa tillardan farqli ravishda rekursiya asosiy dasturlash texnikasi hisoblanadi. ota-predikat 2 ta argumentga ega. birinchisi - ota-onaning ismi, ikkinchisi - bolaning ismi. munosabatga ega bo'lish - bu ajdod bo'lishdir. bir kishi boshqa odamning ajdodi bo'lishi uchun …

5 / 11

kursiya asosi yoki rekursiyadan chiqish sharti ishlaydi. :- [ ], [ ], [ ], , [ ]. ba'zi hollarda rekursiyalarning asosini amalga oshiradigan bir nechta jumlalar va rekursiyalar bosqichini tavsiflovchi jumlalar bo'lishi mumkin. qoida tariqasida, bu qiyin holatlarda sodir bo'ladi, masalan, jarayonda bajarilgan jarayonda rekursiya bosqichini amalga oshirish ba'zi shartlarning bajarilishi yoki bajarilmasligiga bog'liq bo'lsa. misol. natural sonda uning faktorialini hisoblaydigan predikat yarataylik. bu muammo ko'plab dasturlash tillarida rekursiv yechimga imkon beradi, shuningdek, rekursiv matematik tavsifga ega: 1!=1 /* birning faktoriali birga teng */n!=(n-1)!*n /* baʼzi sonning faktorialini hisoblash uchun bir sonning faktorialini hisoblab chiqish kerak va uni asl raqamga ko'paytiring */ keling, predikatning matematik ta'rifiga ekvivalent bo'lgan predikatning bajarilishini yozishga harakat qilaylik: fakt (1,1). /* birning faktoriali birga teng */fakt(n,f):- n1=n-1, fakt(n1,f1), /* f1 asl sondan bir kam sonning faktorialiga teng * / f=f1*n. /* asl sonning faktoriali f1 ko‘paytmasiga teng */ ushbu misolda xatolik bor - stek to'lib …

Хотите читать дальше?

Скачайте все 11 страниц бесплатно через Telegram.

Скачать полный файл

О "prologda faktlar va predukatlarni yaratishi va prologning asosiy tushunchalari"

mavzu:21. prologda faktlar va peredikatlarni yaratishi va prologning asosiy tushunchalari. reja: 1. prologda faktlar va peredikatlarni yaratishi. 2. prologning asosiy tushunchalari. 3. prolog tilining ilovalari. prologda faktlar va peredikatlarni yaratishi. darsning maqsadi. ushbu darsda biz predikatlarning tuzilishini (strukturasini) o'rganamiz va ularning bilimlarni ifodalash uchun qanday imkoniyatlari borligini bilib olamiz. shuningdek, biz o'zgaruvchilarni aniqlaymiz, qo'g'irchoq o'zgaruvchi tushunchasi bilan tanishamiz, shuningdek, prolog dasturlarida qanday rol o'ynashini bilib olamiz. predikatlar (munosabatlar) aks holda predikat nomi deyiladi. munosabatda ishtirok etuvchi predmetlar predikativ argumentlar deyiladi; faktda likes(bill, cindy) da, likes munosabati predikat, bill va ci...

Этот файл содержит 11 стр. в формате DOCX (1,2 МБ). Чтобы скачать "prologda faktlar va predukatlarni yaratishi va prologning asosiy tushunchalari", нажмите кнопку Telegram слева.

Теги: prologda faktlar va predukatlar… DOCX 11 стр. Бесплатная загрузка Telegram