visual prolog

DOCX 8 pages 479.5 KB Free download

8 pages

FaylHub.uz

Download via Telegram

Size 479.5 KB

File type DOCX

Pages 8

Updated Dec 2025

Page preview (5 pages)

Scroll down 👇

1 / 8

mavzu: 23.prologda faktlar va peredikatlarni yaratish va ularning imkoniyatlari. reja: 1. prologda faktlar va peredikatlarni yaratish va ularning imkoniyatlari. 2. fakt, qoida, talab va tartib tushunchasi. prolog dasturi ko'plab jumlalardan (iboralardan) iborat. har bir jumla uchta turdan biri bo'lishi mumkin: bu fakt, qoida yoki so'rov. eng qiziqarli mahsulotlardan biri bu visual prolog. bu juda muhim, tijorat darajasidagi ilovalarni ishlab chiqish uchun zarur bo'lgan to'liq vositalar to'plamini taklif qiluvchi to'liq xususiyatli dasturlash muhiti. nomiga qaramay, bu prolog ilovasi emas, balki kuchli turdagi tekshiruvga ega bo'lgan mutlaqo boshqa til. visual prolog noldan paydo bo'lmagan, lekin pdc prolog va turbo prolog kabi dasturlash tillarining rivojlanishi va vorisi hisoblanadi. shuni ta'kidlash kerakki, shakldagi ro'yxat. 1.2, prologning barcha ilovalari alifbo tartibida keltirilgan va ulardan faqat bittasi ushbu ro'yxatda ajralib turadi: u ro'yxatning yuqori qismida joylashgan va yulduzcha bilan belgilangan. bu swi-prolog, prologning barqaror va bepul standart ilovasi bo'lib, u asosan tadqiqot va ta'limga qaratilgan, ammo …

2 / 8

nyoda - veb-sayt dizaynlari va buxgalteriya dasturlari dunyosida yashaydi. biroq, kimdir texnik, biologik va ijtimoiy tizimlarda nazorat, diagnostika, boshqaruv va qarorlar qabul qilishning murakkab muammolarini ham hal qilishi kerak. swi-prologni ishlab chiqish 1987 yildan beri niderlandiyaning amsterdam universitetida olib borilmoqda. uning yaratuvchisi va asosiy ishlab chiqaruvchisi yan wielemaker. swi nomi gollandiyalik sociaal wetenschappelijke informatica ("ijtimoiy fanlar informatika") ning qisqartmasi bo'lib, yan wielemaker ishlaydigan universitet ilmiy guruhining asl nomi. endi bu guruhning nomi yangi nomga o'zgartirildi hcs (human computer studies). swi-prolog, deyarli barcha ilovalar kabi, asosan mashhur "edinburg versiyasi" ga amal qiladi, lekin iso prologning qisman amalga oshirilgan xususiyatlarini o'z ichiga oladi. swi-prologning so'nggi versiyalarining asosiy xususiyatlari quyidagilardan iborat: • predikatlarning boy kutubxonalari. • veb-ilovalar uchun mantiqiy modullarni yozish qobiliyati. • xpce va preemacs uchun grafik interfeysni qo'llab-quvvatlash. • o'rnatilgan buyruq qatori. • fayllar bilan ishlash. swi-prolog ilg'or ishlab chiquvchi vositalarini o'z ichiga oladi, jumladan, grafik tuzatuvchi va profil yaratuvchiga ega …

3 / 8

va imkoniyatlari ko'rib chiqiladi. ushbu maqsadlar uchun keyingi bo'limda keltirilgan prologning dasturlash tili sifatidagi dastlabki ma'lumotlari etarli. mantiqiy dasturlash tilining o'zi bilan batafsil tanishish uchun ushbu qo'llanmaning adabiyotlar va internet resurslari bo'limida ko'rsatilgan manbalarga murojaat qilish tavsiya etiladi. • fakt shartsiz gap, qandaydir munosabat kuzatilganligini bildiruvchi gap. u predikat nomi sifatida yoziladi, undan keyin qavs ichidagi argumentlar ro'yxati keladi. har bir fakt nuqta bilan tugashi kerak. masalan: yoqtiradi ('ivan', 'marya'). yoqtiradi ('piter', 'futbol'). • qoida – haqiqati boshqa faktlarning haqiqatiga bog‘liq bo‘lgan faktdir. :- bilan ajratilgan bosh va tanadan iborat bo'lib, u "agar" deb o'qiladi va ma'noga mos keladi. qoida boshi predikat, qoida tanasi esa vergul bilan ajratilgan predikatlar ketma-ketligidir. qoida nuqta bilan tugashi kerak, qoidaning asosiy qismidagi vergul esa bog`lovchini bildiradi (mantiqiy va). masalan: yoqtiradi('ivan',x):- yoqtiradi('piter',x). qoidaning intuitiv ma'nosi shundan iboratki, agar prolog qoida matnidagi barcha iboralar (pastki maqsadlar) haqiqat ekanligini ko'rsata olsa, bosh maqsad haqiqat bo'ladi. rahbar: - …

4 / 8

iq tilida esa bog‘lovchini bildiradi. nuqtali vergul “yoki” birlashmasiga to‘g‘ri keladi va disjunksiyani bildiradi. so'rov predikati maqsad deb ataladi. hech qanday o'zgaruvchiga ega bo'lmagan oddiy so'rovlar faqat ikkita mumkin bo'lgan javobni beradi: "to'g'ri" yoki "noto'g'ri". "to'g'ri" javob bo'lsa, so'rov muvaffaqiyatli bo'ldi, maqsadga erishildi, deyishadi. so'rovlarda o'zgaruvchilardan foydalanish murakkabroq savollarni berish imkonini beradi. masalan: ?- yoqtiradi('ivan','futbol'). rost. ?- yoqtiradi (kim, 'marya'). kim = "ivan". 7 ?- yoqtiradi(erkak,'futbol'). odam = "piter"; odam = "ivan". ?- yoqtiradi (x, 'marya'), yoqtiradi (x, 'futbol'). x = "ivan". yuqoridagi tabiiy til so'rovlarining oxirgisi "kim marya va futbolni yaxshi ko'radi?" deb talqin qilinishi mumkin. predikat mantig'i nuqtai nazaridan bu kompozit (murakkab) so'rovdir. • protsedura – sarlavhalarida bir xil predikatlar bo‘lgan qoidalar to‘plami. masalan, ikkita qoida max(x, y, x) :- x >=y. max(x, y, y) :- x < y. ikki sonning eng kattasini topish tartibini amalga oshiring va max (1-raqam, raqam2, max_raqam) shaklidagi bir xil max/3 predikatdan foydalaning. …

5 / 8

kat bo'lishi mumkin. qarang: "turli aritmlarning predikatlari" fakt bayonoti: topilmalar (jon, oltin). /* jon oltin topdi */ prolog dasturida bir xil predikat uchun gaplar birlashtiriladi. prologdagi qoidalar qoida prolog tomonidan yangi faktning chiqish holatini tekshirish uchun ishlatiladi. prologdagi qoidalar bandlar bo'limida yozilgan. dastur turli xulosalar chiqaradigan juda ko'p qoidalarni o'z ichiga olishi mumkin. qoidalarni kiritish effekti dasturda ko'p sonli faktlar bayoni bo'lsa, xuddi shunday. qoidalarning chap tomoni (bosh) va o'ng tomoni :- belgisidan keyin (qoida shartlari yoki tanasi) mavjud. qoidaning o'ng tomoni to'g'ri bo'lsa, qoidaning chap tomoni to'g'ri bo'ladi. qoidalar tanadagi barcha bayonotlar baholanganda yangi faktlarni keltirib chiqaradi. qoidalar bo'lgan bayonotlarning boshlari faktlar shaklida bo'lganligi sababli, qoidalar faktlar sifatida ko'rib chiqilishi mumkin. ammo, shunga qaramay, faktlar va qoidalar o'rtasidagi farqlar juda muhim. prolog bayonotlarni tarjima qilishda predikat nomining yozilishini, ob'ektlar sonini va ularning domenlarining turlarini nazorat qiladi. qoidadan foydalanishga misol: predicates likes(symbol,symbol) clauses likes(mary, apples). likes(beth, x) if likes(mary, x). …

Want to read more?

Download all 8 pages for free via Telegram.

Download full file

About "visual prolog"

mavzu: 23.prologda faktlar va peredikatlarni yaratish va ularning imkoniyatlari. reja: 1. prologda faktlar va peredikatlarni yaratish va ularning imkoniyatlari. 2. fakt, qoida, talab va tartib tushunchasi. prolog dasturi ko'plab jumlalardan (iboralardan) iborat. har bir jumla uchta turdan biri bo'lishi mumkin: bu fakt, qoida yoki so'rov. eng qiziqarli mahsulotlardan biri bu visual prolog. bu juda muhim, tijorat darajasidagi ilovalarni ishlab chiqish uchun zarur bo'lgan to'liq vositalar to'plamini taklif qiluvchi to'liq xususiyatli dasturlash muhiti. nomiga qaramay, bu prolog ilovasi emas, balki kuchli turdagi tekshiruvga ega bo'lgan mutlaqo boshqa til. visual prolog noldan paydo bo'lmagan, lekin pdc prolog va turbo prolog kabi dasturlash tillarining rivojlanishi va vorisi hisoblanadi. shun...

This file contains 8 pages in DOCX format (479.5 KB). To download "visual prolog", click the Telegram button on the left.

Tags: visual prolog DOCX 8 pages Free download Telegram