visual prolog

DOCX 3 sahifa 46,5 KB Bepul yuklash

Sahifa ko'rinishi (3 sahifa)

Pastga aylantiring 👇
1 / 3
mavzu:17.visial prolog asoslari va prolog chiqish mashinasi haqida. reja 1. visial prolog asoslari. 2. prolog chiqish mashinasi haqida. 3. umumlashtirilgan rekursiya qoidasi usuli. visial prolog asoslari. prolog — mantiqiy dasturlashga asoslangan til (programming in logic). muayyan muammoni qanday hal qilishni ko'rsatuvchi batafsil ko'rsatmalar o'rniga, prolog dasturchisi muammoni tavsiflashga e'tibor beradi. visual prolog muhitida "vizual dasturlash" deb nomlangan yondashuv qo'llaniladi, bunda dasturlarning tashqi ko'rinishi va xatti-harakati algoritmik tilda an'anaviy dasturlashsiz maxsus grafik dizayn vositalari yordamida aniqlanadi. visual prolog murakkab protseduralarni qurishni avtomatlashtiradi va dasturchini ahamiyatsiz operatsiyalarni bajarishdan ozod qiladi. visual prolog yordamida foydalanuvchi interfeysi va unga aloqador oynalar, dialoglar, menyular, holat bildirishnomalari qatorlari va boshqalarni loyihalash. grafik muhitda ishlab chiqariladi. yaratilgan ob'ektlar darhol turli xil kod ekspertlari tomonidan boshqarilishi mumkin, bu esa ularning ishlashini ta'minlash uchun zarur bo'lgan asosiy va kengaytirilgan prolog kodlarini yaratish uchun ishlatiladi. prolog chiqish mashinasi haqida. prolog tilida hisob-kitoblar qurilmasi o'rganiladi. prolog xulosa mexanizmi haqida fikr berilgan. …
2 / 3
uchun ishlatiladi. umumlashtirilgan rekursiya qoidasi usuli. umumlashtirilgan rekursiya qoidasi o'zini qoida tanasida o'z ichiga oladi. agar qoidada uning ishining tugashini kafolatlovchi chiqish sharti mavjud bo'lsa, rekursiya yakuniy bo'ladi. qoidalar organi belgilovchi bayonotlar va qoidalardan iborat bajarilishi kerak bo'lgan vazifalar. rekursiya qoidasining ramziy shakldagi umumiy shakli [4]: :- , (1) , (2) , (3) , (4) . (5) ushbu rekursiya qoidasi beshta komponentdan iborat. birinchisi, har doim to'g'ri bo'lgan va rekursiyaga ta'sir qilmaydigan predikatlar guruhidir. ikkinchi komponent - chiqish sharti predikati. ushbu predikatning muvaffaqiyati rekursiyani davom ettirishga imkon beradi va muvaffaqiyatsizlik uni to'xtatishga olib keladi (rekursiv qoida "false" ni qaytaradi). uchinchi komponent boshqa predikatlar ro'yxati bo'lib, ular ham har doim to'g'ri bo'ladi va rekursiyaga ham ta'sir qilmaydi. to'rtinchi guruh - bu rekursiv qoidaning o'zi, uning muvaffaqiyati rekursiyani keltirib chiqaradi. va nihoyat, beshinchi guruh - bu har doim muvaffaqiyatli bo'lgan va yana rekursiyaga ta'sir qilmaydigan predikatlar ro'yxati. beshinchi guruh, shuningdek, rekursiya paytida …
3 / 3
i. ortib borayotgan raqam, yangi next_number o'zgaruvchisi ishlatiladi. to'rtinchi komponent - bu write_number (keyingi_raqam) rekursiya qoidasining o'ziga qo'ng'iroq qilish. umumiy holatda keltirilgan beshinchi komponent bu erda ishlatilmaydi. shunday qilib, bir qator raqamlarni yaratish dasturi quyidagi rekursiya qoidasidan foydalanadi: yozish_raqam (8). yozish_raqam(raqam):- raqam < 8, yozish(raqam), nl, keyingi_raqam = raqam + 1, yozish_raqam (keyingi_raqam). keling, ushbu dasturning bajarilishini ko'rib chiqaylik. bu write_number(1) pastki maqsadini baholashga urinish bilan boshlanadi. birinchidan, dastur pastki maqsadga birinchi write_number(8) qoidasiga mos keladi. 1 8 ga teng bo'lmagani uchun bu o'yin muvaffaqiyatsiz tugadi. keyin dastur yana pastki maqsadga mos kelishga harakat qiladi, lekin yozish_raqam (raqam) qoidasining boshi bilan. bu safar o'yin muvaffaqiyatli bo'ldi, chunki number o'zgaruvchisi 1 ga o'rnatilgan. dastur endi bu qiymatni 8 (chiqish sharti) bilan solishtiradi. 1 8 dan kichik bo'lgani uchun bu pastki qoida muvaffaqiyatli bo'ldi. quyidagi predikat number ga tayinlangan qiymatni qaytaradi. next_number o'zgaruvchisi 2 ga o'rnatiladi va number qiymati 1 ga oshiriladi. …

Ko'proq o'qimoqchimisiz?

Barcha 3 sahifani Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"visual prolog" haqida

mavzu:17.visial prolog asoslari va prolog chiqish mashinasi haqida. reja 1. visial prolog asoslari. 2. prolog chiqish mashinasi haqida. 3. umumlashtirilgan rekursiya qoidasi usuli. visial prolog asoslari. prolog — mantiqiy dasturlashga asoslangan til (programming in logic). muayyan muammoni qanday hal qilishni ko'rsatuvchi batafsil ko'rsatmalar o'rniga, prolog dasturchisi muammoni tavsiflashga e'tibor beradi. visual prolog muhitida "vizual dasturlash" deb nomlangan yondashuv qo'llaniladi, bunda dasturlarning tashqi ko'rinishi va xatti-harakati algoritmik tilda an'anaviy dasturlashsiz maxsus grafik dizayn vositalari yordamida aniqlanadi. visual prolog murakkab protseduralarni qurishni avtomatlashtiradi va dasturchini ahamiyatsiz operatsiyalarni bajarishdan ozod qiladi. visual prolog yordami...

Bu fayl DOCX formatida 3 sahifadan iborat (46,5 KB). "visual prolog"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: visual prolog DOCX 3 sahifa Bepul yuklash Telegram