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

1.2 Determinizm

Determinizm – predikatning qanday natija qaytarishini aniqlaydi va e’londa ko’rsatiladi. determ – predikat – determinal. Hisob muvaffaqiyatli yakunlanishi mumkin, bunda natija bitta bo’ladi. Hisob muvaffaqiyatsiz ham yakunlanishi mumkin. procedure- predikat - protsedura. Hisob doimo muvaffaqiyatli yakunlanadi va natija bitta. multi –predikat – ko’p yechimli. Hisob doimo muvaffaqiyatli yakunlanadi va natija bittadan ko’p bo’lishi mumkin. nodeterm - predikat – nodeterminal. Hisob muvaffaqiyatli yakunlanib, natija bittadan ko’p ham bo’lishi mumkin. Hisob muvaffaqiyatsiz ham bo’lishi mumkin.

Agar predikat bittadan ko’p natijaga ega bo’lib, uning joriy natijasi gap tanasidagi boshqa bir predikatni qanoatlantirmasa(ya’ni u false natija qaytarsa) orqaga qaytish (откат, backtrack) amalga oshiriladi va predikatning keyingi natijasi qaytariladi. Quyidagi gapni qarab chiqamiz:

connections(Win) :- conn(P1, P2),

drawLine(Win, P1, P2), fail.

Bu gapda conn(P1, P2)predikati - nuqtalar jufti. Bu predikatning faktlari faraz qilaylik jadvalga kiritilgan. Bu predikat orqali barcha nuqtalar jufti natija sifatida qaytariladi. Lekin hisob bajarilish jarayonida ulardan bittasi natija sifatida beriladi. drawLine(Win, P1, P2)predikati – Win kontekstida P1 nuqtadan P2 nuqtagacha to’g’ri chiziq chizadi. fail predikati esa (so’zning ma’nosi ko’rsatib turibdiki) doimo muvaffaqiyatsiz yakunlanadi va conn(P1, P2) predikatining boshqa nuqtalar juftligini natija sifatida qaytarishiga olib keladi. Shunday qilib ko’rsatilgan gapda (fatlar orqali) berilgan barcha nuqtalar jufti orasida to’g’ri chiziq chiziladi.