O’zbekiston respublikasi oliy va o’rta maxsus ta’lim vazirligi buxoro davlat universiteti qo’lyozma huquqida udk

Tadqiqotda qo’llanilgan uslublarning qisqacha tavsifi:Prolog tili sathli predikatlardan tashkil topgan.

Tadqiqotning ilmiy yangiligi:Tabiiy tillar jumladan analitik til hisoblangan nemis tili uchun so’z turkumlari bo’yicha tarjimon predikatlarini yasash metodi yaratildi.

Desertatsiya tarkibining qisqacha tavsifi: Magistrlik dissertastiyasi kirish, uchta bob, xotima, foydalanilgan adabiyotlar ro’yxatidan iborat.

Kirish qismida mavzuning dolzarbligi, xususan, prolog mantiqiy dasturlash tilini dolzarb ekanligi, ishning maqsad va vazifalari, tadqiqot obyekti, tadqiqot usuli va uslubiyoti, olingan asosiy natijalar batafsil bayon etilgan .

Har qaysi bob 1ta bo’limdan iborat bo’lib, har qaysi bobda xulosa berilgan. Birinchi bob “Mantiqiy dasturlash haqida” deb nomlangan.Birinchi bo’lim esa Prolog tili gramatikasi deb nomlangan. Ushbu bo’limda Prolog tilini mantiqiy dasturlashning muhimligi, determinizm, turli dasturlar ishlashi ko’rsatilgan.

Keyingi bobda ro’yxat, ro’yxat uzunligi, o’rta arifmetik hisoblovchi dastur va boshqa turli xil dasturlar keltirilgan. Bu bobni xulosasi ham keltirilgan.