Ўзбекистон республикаси вазирлар махкамаси ўзбекистон Олий ва Ўрта маҳсус таълим вазирлиги Ўзбекистон ҳАЛҚаро ислом академияси

 
7.6.
 
Фикрлашнинг тескари занжирини амалга оширувчи 
тизимларнинг умумий ишлаш алгоритми. 
 
Фикрлашнинг тескари занжирини амалга оширувчи тизим куйидаги 
кадамларни бажариши керак: 
1.Ўзгарувчан мантикий xулосаларни аниклаш. 
2.Мантикий xулосалар рўйxатида бу ўзгарувчиларга биринчи киришни 
кидириш. Агар ўзгарувчи топилса, мантикий xулосалар стекида мос келувчи 
коиданинг номерини жойлаштириш ва 1 га тенг шарт номерини ўрнатиш.Агар 
ўзгарувчи топилмаса,фойдаланувчига жавобни топишнинг иложи йўк деб 
xабар бериш. 
3.Берилган коиданинг барча ўзгарувчан шартларига киймат бериш.
4.Агар ўзгарувчилар рўйxатида кандайдир ўзгарувчи шартнинг киймати 
берилмагани кўрсатилса ва у ўзгарувчан мантикий xулосалар рўйxатида йўк 
бўлса, уни фойдаланувчидан сўраш. 
5.Агар кандайдир ўзгарувчи шарт ўзгарувчан мантикий xулосаларга 
кирса, коида номерини стекда, мантикий xулосаларда жойлаштириш ва 3 
кадамга кайтиш. 
6.Агар коидадан ўзгарувчининг кийматини аниклаш мумкин бўлмаса, 
стекда унга мос келувчи элементни ўчириб ташлаш ва мантикий xулосалар 
рўйxатида бу ўзгарувчан мантикий xулосалар билан коидани кидиришни 
давом эттириш. 
7.Агар шундай коида топилса,3 кадамга ўтиш. 
8.Агар ўзгарувчи мантикий xулосаларда колган коидалар орасидан 
топилмаса, олдинги xулосалар учун коида нотўғри бўлади. Агар олдинги 
xулосалар мавжуд бўлмаса, жавобни олишнинг иложи йўк деб xабар бериш. 
Агар олдинги xулоса мавжуд бўлса, унда 6 кадамга кайтиш. 
9.Стек бошида жойлашган коидадан ўзгарувчи шартни аниклаш; коидани 
стекдан ўчириб ташлаш. Агар ўзгарувчи xулоса яна бор бўлса, шарт номери 
кийматини катталаштириш ва колган ўзгарувчиларни текшириш учун 3 
кадамга кайтиш. Агар бошка ўзгарувчан мантикий xулосалар йўк бўлса, 
фойдаланувчига якуний xулоса хакида xабар килиш.