Muhammad al-xorazmiy nomidagi Toshkent Axborot Texnologiyalari Universiteti Farg`ona filiali Fan: Telekommunikatsiyada Suniy Intelekt

Muhammad AL-Xorazmiy nomidagi Toshkent Axborot Texnologiyalari Universiteti Farg`ona filiali

Fan: Telekommunikatsiyada Suniy Intelekt
O`qituvchi: Maxmudov I.A

Amaliy ish -9
Tayyorladi: Doston Soataliyev.
Guruh: 630-18
9-Amaliy mashg‘ulot
Mavzu: Turbo-Prolog tilining asosiy tushunchalari.


Ishdan mqasad: Turbo-Prolog tilining asosiy tushunchalari. Maniqiy natija

Nzorat savollar

1. Turbo-Prolog tilining asosiy tushunchalari.

Prolog-da dastur mantig'i munosabatlar nuqtai nazaridan ifodalanadi va hisoblash ishga tushirish orqali boshlanadi so'rov bu munosabatlar ustidan. Aloqalar va so'rovlar Prolog-ning yagona ma'lumot turi yordamida tuziladi muddat.^[4] Aloqalar tomonidan belgilanadi bandlar.

So'rovni hisobga olgan holda Prolog dvigateli a ni topishga harakat qiladi qaror rad etish inkor qilingan so'rovning. Agar inkor qilingan so'rovni rad etish mumkin bo'lsa, ya'ni inkor qilingan so'rovdan iborat bandlar va singleton to'plamining birlashishini yolg'onga aylantiradigan barcha erkin o'zgaruvchilar uchun bir zum topilsa, demak, topilgan instantiya qo'llanilgan holda asl so'rov mantiqiy natija dasturning. Bu Prologni (va boshqa mantiqiy dasturlash tillarini) ma'lumotlar bazasi uchun ayniqsa foydali qiladi, ramziy matematikava tilni tahlil qilish dasturlari.

Chunki Prolog nopoklikka yo'l qo'yadi predikatlar, tekshirish haqiqat qiymati ba'zi bir maxsus predikatlar qasddan bo'lishi mumkin yon ta'sir, masalan, qiymatni ekranga bosib chiqarish. Shu sababli dasturchiga ma'lum miqdordagi an'anaviy foydalanishga ruxsat beriladi majburiy dasturlash mantiqiy paradigma noqulay bo'lganida.
Unda "sof Prolog" deb nomlangan mutlaqo mantiqiy kichik to'plam, shuningdek, bir qator ekstralogik xususiyatlar mavjud.