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

Tadqiqot obyekti va predmeti:Tadqiqot obyekti Mantiqiy dasturlashda 1-tartibli predikatlar algebrasi Prolog dasturlash tili Vizual Prolog dasturlash muhiti

Ishning maqsadi va vazifalari: Mantiqiy dasturlash asosiy tamoyillarini o’rganish Prolog dasturlash tilida asosiy obyektlarini yasash va Vizual Prolog dasturlash muhitida ularni amalga oshirish sun’iy intelekt tizimlari jumladan tabiiy tillar tarjimalari bilan tanishishi. Bu dasturimda Ingliz va nemis tillari uchun tarjimon yasash mantiqiy asoslari o’rgatildi va asosiy so’z turkumlari uchun Vizual Prologda bu ish amalga oshirildi.