prolog dasturlash tili

DOCX 8 sahifa 28,5 KB Bepul yuklash

8 sahifa

FaylHub.uz

Telegram orqali yuklab olish

Hajm 28,5 KB

Fayl turi DOCX

Sahifalar 8

Yangilangan Dek 2025

Sahifa ko'rinishi (5 sahifa)

Pastga aylantiring 👇

1 / 8

mavzu:36.prologda ro‘yxatlari va prologdagi satrlari haqida. reja: 1. prologda ro‘yxatlari haqida. 2. prologdagi satrlari haqida prolog mantiqiy dasturlash tili prolog tili turli fan sohalarida bilimlarni ifodalash va ulardan foydalanish uchun mo'ljallangan. tilning matematik asosi birinchi tartibli predikatlar hisobi (ppc) bo'lsa, predmet sohasi ob'ektlari, ularning xususiyatlari va munosabatlari horn bo'laklari deb ataladigan maxsus turdagi formulalarni to'g'ri qurish birikmasi bilan ifodalanadi. teoremani isbotlash muammosi sifatida tuzilgan mavzu sohasining munosabatlari haqida yangi ma'lumotlarni olish muammosini hal qilish uchun prolog dasturlash tizimining tarjimonida rezolyutsiya usuli amalga oshiriladi. eslatma. horn punkti quyidagi umumiy belgilarga ega bo'lgan formuladir: p0 | ~p1 | ~p2 | ... | ~pn, bu erda n>=0, pi atom formulasi (predikat), barcha o'zgaruvchilar aniq ko'rsatilmagan universal kvantlar bilan bog'langan, ularning qo'llanilishi butun formuladir. inkor gapga kiruvchi atom formulasi manfiy harf, inkorsiz formula esa musbat harf deyiladi. ekvivalent, ammo odamlarga ko'proq mos keladigan, horn bandlarining implikativ shakli: (p1 & p2 & ... & pn) …

2 / 8

mkonini beradigan ma'noda birlashtirilgan. prolog tilining asosiy sintaktik konstruktsiyalari. prolog tilining gaplari (jumlalari) atamalardan tuzilgan. termin yoki doimiy, yoki o'zgaruvchi yoki tuzilishi. eslatma. e'tibor bering, prologdagi atama tushunchasi stddagidan farq qiladi. doimiy - bu yoki atom, yoki raqam. atomlar uch xil bo'ladi: harflar, raqamlar va pastki chiziq, albatta, kichik harf (kichik harf) bilan boshlanadigan ketma-ketlik; maxsus belgilar ketma-ketligi ":-", "?-", "=", ">=", "--" va boshqalar; har qanday belgilar ketma-ketligi apostroflar (bitta tirnoq) ichiga olingan. atomlarga misollar: abcd, a_gear, '17-256', xyz100. prolog har qanday dasturlash tizimi butun sonlar bilan, ko'pchiligi esa haqiqiy sonlar bilan ishlashni ta'minlaydi. konstantalar o'z-o'zidan aniqlangan atamalar, ya'ni. ularning "ma'nosi" ularning grafik tasviri (belgilar ketma-ketligi yoki soni). prologdagi konstantalar predmet sohasining aniq ob'ektlarini (nomini) belgilash uchun ishlatiladi (qarang. std ning mavzu konstantalari) va ular orasidagi o'ziga xos munosabatlar (qarang. std ning predikat va funktsiya harflari). o'zgaruvchi - bu katta (katta) harf yoki "_" belgisi bilan boshlanuvchi harflar, raqamlar …

3 / 8

rolini o'ynaydi; operatsiyalar (ya'ni, domen operatsiyalari), funktor esa funktsional harf rolini o'ynaydi; murakkab strukturaning axboroti, funktor esa ma'lumotlar turi nomi rolini o'ynaydi (si tilining ma'lumotlar tuzilmalari bilan qarang). murakkab ma'lumotlar (shu jumladan ro'yxatlar) va operatsiyalarni ifodalash uchun tuzilmalardan foydalanish quyida muhokama qilinadi. mavzu:37.prologda satrlari va ro'yxatlarni e'lon qilish. reja: 1. prologda satrlari kelib chiqishi. 2. prologda satrlari va ro'yxatlarni e'lon qilish.. faktlar va so'rovlar prolog tilidagi dasturda faktlar asosi sub'ekt sohasi faktlarini tuzilmalar ko'rinishida tavsiflovchi bayonot bo'lib, ularning funktsiyalari atomlar - munosabatlarning nomlari (predikat harflari) va komponentlar - mavzu konstantalari. . misol. qo'llanmada ko'rib chiqilgan minora qurilishi mavzusiga oid faktlar prolog tilidagi bayonotlar shaklida quyidagicha ifodalanishi mumkin: tom (prizma, 4). /* bitta */ tom (samolyot, 1). /* 2 */ blok (silin, 5). /* 3 */ blok (silin, 3). /* to'rt */ blok (nominal, 4). /* 5 */ blok (nominal, 2). /* 6 */ bu erda har bir fakt std ning …

4 / 8

ab ha yoki yo'q javobini beradi. o'yin natijasi bo'yicha. misol. quyida bizning faktlar bazasiga so'rovlar (chap belgilar ustuni) va ularning javoblari (o'ng ustun). ?-blok(silin, 3). ha ?-tom (samolyot, 2). yo'q ?-blok(prizma, 4). yo'q ?-tom (samolyot). yo'q ?-tayanch (chiziq, 1). yo'q eslatma. prolog tarjimonida amalga oshirilgan rezolyutsiya usuli nuqtai nazaridan, so'rovga javob izlash maqsadli bayonotni (teoremani) va faktni (eng oddiy shakli) inkor etishga qaror qilish qoidasini qo'llashdir. hornning gapi) bo‘sh gap hosil qilish uchun. foydalanuvchi nuqtai nazaridan foydaliroq va javob yaratish nuqtai nazaridan murakkabroq so'rovlar tuzilma komponentlari sifatida o'zgaruvchilarni o'z ichiga oladi. bunday so'rovga javob izlash so'rov va faktni ifodalovchi tuzilmalarni moslashtirish jarayonida o'zgaruvchilarni qiymatlar bo'yicha ko'rsatish mexanizmidan foydalanish bilan bog'liq. prolog tili doirasida o'zgaruvchini strukturaning komponenti sifatida har doim o'zgaruvchi bilan bir xil holatda joylashgan boshqa strukturaning komponenti (har qanday atama) bilan solishtirish mumkin deb hisoblanadi (tabiiyki, struktura bo'lishi sharti bilan). funktorlar mos keladi). agar o'zgaruvchi doimiy yoki tuzilma bilan …

5 / 8

ov barcha mavjud ma'lumotlarni ko'rsatish uchun mo'ljallangan. faktlar bazasidan bloklar haqida. keling, misolda tarjimon tomonidan oxirgi so'rovni qayta ishlash jarayonini batafsil ko'rib chiqaylik. uni olgandan so'ng, tarjimon faktlar bazasini birinchi bayonotdan boshlab, maqsadli bayonotni uchinchi fakt bilan moslash mumkin bo'lgunga qadar tekshiradi. bu erda tarjimon yaratilgan so'rov o'zgaruvchilari qiymatlarini chiqaradi, tasdiqlash 3 uchun maxsus marker (ko'rsatkich) o'rnatadi va foydalanuvchining javobini kutish holatiga kiradi. foydalanuvchi faktlar bazasini ko'rishni davom ettirmoqchi bo'lib, ";" maxsus belgisini kiritadi. (nuqta vergul), tarjimonga qidiruvni davom ettirishga ishora qiladi. tarjimon a) o'zgaruvchilarni instantiatsiya qiladi, ularni yana aniqlanmagan qiladi va b) belgilangan markerdan keyingi gapdan boshlab moslashishni davom ettiradi. yuqoridagi faktlar bazasiga so'rovlar faqat prolog tilida ruxsat etilgan maqsadli bayonotlarning alohida holatidir. ammo ularning umumiy holatini ko'rib chiqishdan oldin prolog tilida arifmetik hisoblarni tashkil qilish va unga kiritilgan ba'zi predikatlar bilan tanishish kerak. arifmetika prolog tilida arifmetik amallarni tavsiflash uchun funktorlari arifmetik amallarning belgilari, komponentlari esa operand bo'lgan …

Ko'proq o'qimoqchimisiz?

Barcha 8 sahifani Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"prolog dasturlash tili" haqida

mavzu:36.prologda ro‘yxatlari va prologdagi satrlari haqida. reja: 1. prologda ro‘yxatlari haqida. 2. prologdagi satrlari haqida prolog mantiqiy dasturlash tili prolog tili turli fan sohalarida bilimlarni ifodalash va ulardan foydalanish uchun mo'ljallangan. tilning matematik asosi birinchi tartibli predikatlar hisobi (ppc) bo'lsa, predmet sohasi ob'ektlari, ularning xususiyatlari va munosabatlari horn bo'laklari deb ataladigan maxsus turdagi formulalarni to'g'ri qurish birikmasi bilan ifodalanadi. teoremani isbotlash muammosi sifatida tuzilgan mavzu sohasining munosabatlari haqida yangi ma'lumotlarni olish muammosini hal qilish uchun prolog dasturlash tizimining tarjimonida rezolyutsiya usuli amalga oshiriladi. eslatma. horn punkti quyidagi umumiy belgilarga ega bo'lgan formuladir: p0 | ~...

Bu fayl DOCX formatida 8 sahifadan iborat (28,5 KB). "prolog dasturlash tili"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: prolog dasturlash tili DOCX 8 sahifa Bepul yuklash Telegram