prolog foydalanish va prolog konsolida ishlash asoslari rad etish

DOCX 9 стр. 240,4 КБ Бесплатная загрузка

9 стр.

FaylHub.uz

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

Размер 240,4 КБ

Тип файла DOCX

Страницы 9

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

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

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

1 / 9

mavzu: 27.prolog foydalanish va prolog konsolida ishlash asoslari rad etish. reja: 1. prolog foydalanish tartibi. 2. prolog konsolida ishlash asoslari rad etish. prolog foydalanish tartibi. blogda men mantiqiy dasturlash bo'yicha bir qator maqolalar chop etdim, shuningdek, prolog tilida muammolarni hal qilishni tahlil qildim. men yaqinda shuni payqadimki, agar siz kirish qo'shsangiz, bularning barchasi to'liq qo'llanma bo'lishi mumkin. kirish shunday yozilganki, uni o'qib chiqqandan so'ng siz prologda dasturlashni boshlashingiz mumkin, flp bo'yicha kitoblardan matematik jihatdan qat'iyroq materiallar izlash kerak. mantiqiy dasturlash paradigmasining birinchi tillari 20-asr oʻrtalarida teoremani avtomatik isbotlash vositalari sifatida ishlab chiqilgan boʻlsa-da, ular predikatlar hisobining matematik apparatiga asoslangan edi. keyinchalik ular umumiy maqsadli dasturlash tillari sifatida ishlatila boshlandi, tillar esa bir qator sintaktik tuzilmalar bilan to'ldirildi. mantiqiy dasturlash tillari keng tarqalgan emas, ammo ular tarjimonlar va sun'iy intellektni ishlab chiqishda qo'llaniladi, ular har qanday ish stoli va mobil ilovalarni, shuningdek veb-saytlarni ishlab chiqish uchun ishlatilishi mumkin. visual prolog dasturini …

2 / 9

hlaydi. mantiqiy dastur predikatlardan iborat bo'lib, ular mantiqiy qiymatlarni ishlab chiqaradigan funktsiyalardir - har qanday predikat to'g'ri yoki noto'g'ri bo'lishi mumkin bo'lgan hisoblarni o'z ichiga oladi. bunday holda, predikat faqat hisob-kitoblar to'g'ri bo'lsa, hisoblash natijalarini qaytaradi. predikatlar hisob-kitoblarni tavsiflovchi qoidalardan (jumlalardan) iborat bo'lib, mantiqiy operatorlar and / or bilan bog'langan, mantiqiy and esa vergul operatoriga va or nuqta operatoriga mos keladi. prolog tilidagi dasturlarda o'zgaruvchilar ham bo'lishi mumkin (ularning nomlari bosh harf bilan boshlanishi kerak - bu ularni boshqa ob'ektlardan ajratib turadi), ammo mantiqiy va funktsional dasturlashning asosiy tamoyillaridan biri yagona belgilash printsipi bo'lib, unga ko'ra. o'zgaruvchi qiymatni faqat bir marta qabul qilishi mumkin, boshqa barcha tayinlash urinishlari tenglik testi sifatida ishlaydi. yagona tayinlash printsipining natijasi prologda siklik konstruksiyalarning yo'qligi - ularning o'rniga hamma joyda rekursiya qo'llaniladi, bu dastur tezligini pasaytirmaydi, chunki quyruq rekursiyasi xuddi loop kabi samarali. prologda hisob-kitoblarni boshqarish tamoyillarini tushunish uchun son raqamlari yig'indisini hisoblash misolida ko'rsatilganidek, …

3 / 9

riladigan eng oddiy amallar va buyruqlar bilan boshlaymiz. turli muhitlarda u turli nomlarga ega: dialog oynasi, maqsadli oyna, so'rovlar oynasi va boshqalar. ammo uning mohiyati o'zgarishsiz qolmoqda. konsol - foydalanuvchi muhitga buyruqlar, direktivalar yoki so'rovlarni kiritishi mumkin bo'lgan joy. biroq, to'liq huquqli so'rovlar faqat prolog dasturi yoki bilimlar bazasi allaqachon muhitga yuklangan bo'lsa mumkin. lekin bizda hech qanday dastur yo'qligi sababli, biz an'anaviy "salom dunyo" dan boshlaymiz. buni amalga oshirish uchun siz tanlagan har qanday ishlab chiqish muhitini yuklab oling va oddiy buyruqni kiriting: write('salom dunyo'),nl. kirish swi-prolog konsolida "?-" belgilaridan keyin amalga oshirilishi mumkin. ' yoki pie dialog oynasidagi bo'sh qator. satr oxiriga nuqta qo'yishni unutmang va enter tugmasini bosing. ko'pgina prolog tizimlari 1-rasmda ko'rsatilganiga o'xshash natijalarni ishlab chiqaradi. 3.5. guruch. 3.5. swi-prolog muhitida va pie muhitida buyruqning natijasi. ekranga chiqishning birinchi qatori kiritilgan yozish va nl predikatlarining natijasi, ikkinchi qator esa prolog tarjimoni tomonidan baholanayotgan so‘rov natijasidir. ha …

4 / 9

a swi kabi prolog tilining an'anaviy ilovalari qattiq yozilmagan. bu predikatlardan foydalanish mumkinligini anglatadi argumentlarning har xil turlarini chaqiring. masalan, write/1 predikatida argument raqamli yoki satr turi bo'lishi mumkin. buni buyruqni kiritish orqali tekshirishingiz mumkin: ?- write(5), write(' * 3 = '), x 5*3, yozish(x), nl. 5 * 3 = 15 x = 15. shu bilan birga, ikki muhitda string ma'lumotlarini ko'rsatishda ba'zi farqlar mavjud. shunday qilib, pie satr konstantalarida bitta va qo'sh tirnoqlarni ajratmaydi va ularni atom sifatida tushunadi. swi-prologda yozish/1 predikati argumentidagi bitta qo'shtirnoqlarni qo'sh tirnoq bilan almashtirish alohida belgilarning ascii kodlari ro'yxati sifatida satrning chiqishiga olib keladi: ?- yozing ("salom, dunyo!"). [72,101,108,108,111,44,32,87,111,114,108,100,33] swi-prolog va standart amalga oshirish o'rtasida biroz farq bor, bu belgilar ma'lumotlarini qayta ishlash uchun qo'shimcha imkoniyatlarni kiritish va qo'shimcha ma'lumotlar turlaridan foydalanish bilan bog'liq. xususan, ko'rib chiqilayotgan ish uchun yuqoridagi fikrlarni aks ettiruvchi misolni ko'rib chiqish mumkin: ?- atom('salom dunyo'). rost. ?- atom ("salom …

5 / 9

i chaqirishiga sabab bo'ladigan hech narsa yo'q. mavzu:28.prolog-dasturlari murakkab ob'ektlar va dastur fayl asoslari. reja: 1. prolog-dasturlari murakkab ob'ektlar. 2. prolog- dastur fayl asoslari murakkab ob'ektlar prolog-dasturlari murakkab ob'ektlar. bu bobni prolog tili bo'yicha darslik sifatida emas, balki faqat yuqorida bayon qilingan ishlab chiqarish dasturlash tamoyillarini ko'rsatishga xizmat qiluvchi qisqacha "o'quv dasturi" sifatida qarash kerak. sintaksis termalar prologdagi ma'lumotlar obyektlari atamalar deb ataladi. termin doimiy, o'zgaruvchan yoki qo'shma atama (tuzilma) bo'lishi mumkin. konstantalar butun va haqiqiy sonlardir, masalan: 0, -l, 123,4, 0,23e-5, (prologning ba'zi ilovalari haqiqiy raqamlarni qo'llab-quvvatlamaydi). konstantalar atomlarni ham o'z ichiga oladi, masalan: goldie, a, atom, +, :, 'fred blogs', []. atom - bu bitta qo'shtirnoq ichiga olingan har qanday belgilar ketma-ketligi. agar ularsiz atomni o'zgaruvchilarni belgilash uchun ishlatiladigan belgilardan farqlash mumkin bo'lsa, tirnoq belgilari qo'yilmaydi. atomlarga yana bir qancha misollar: abcd, fred, ':', joe. atomlarning to'liq sintaksisi quyida tasvirlangan. boshqa dasturlash tillarida bo'lgani kabi, konstantalar ma'lum elementar …

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

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

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

О "prolog foydalanish va prolog konsolida ishlash asoslari rad etish"

mavzu: 27.prolog foydalanish va prolog konsolida ishlash asoslari rad etish. reja: 1. prolog foydalanish tartibi. 2. prolog konsolida ishlash asoslari rad etish. prolog foydalanish tartibi. blogda men mantiqiy dasturlash bo'yicha bir qator maqolalar chop etdim, shuningdek, prolog tilida muammolarni hal qilishni tahlil qildim. men yaqinda shuni payqadimki, agar siz kirish qo'shsangiz, bularning barchasi to'liq qo'llanma bo'lishi mumkin. kirish shunday yozilganki, uni o'qib chiqqandan so'ng siz prologda dasturlashni boshlashingiz mumkin, flp bo'yicha kitoblardan matematik jihatdan qat'iyroq materiallar izlash kerak. mantiqiy dasturlash paradigmasining birinchi tillari 20-asr oʻrtalarida teoremani avtomatik isbotlash vositalari sifatida ishlab chiqilgan boʻlsa-da, ular predikatlar hisobining ...

Этот файл содержит 9 стр. в формате DOCX (240,4 КБ). Чтобы скачать "prolog foydalanish va prolog konsolida ishlash asoslari rad etish", нажмите кнопку Telegram слева.

Теги: prolog foydalanish va prolog ko… DOCX 9 стр. Бесплатная загрузка Telegram