Хорн өрнегі

Уикипедия — ашық энциклопедиясынан алынған мәлімет
Мұнда ауысу: шарлау, іздеу

Хорн өрнегі (Хорновское выражение; horn clause) — «егер В1 және В2 және ... Вп А» түрінде жазылатын айтылымдарды есептеу сөйлемі. Өрнекті зерттеуші Хорнның атымен аталған. Пролог тілі кұрылмасының негізі болып саналады.

[1]

Пайдаланған әдебиет[өңдеу]

  1. Қазақ тілі терминдерінің салалық ғылыми түсіндірме сөздігі:Информатика және компьютерлік техника/ Жалпы редакциясын басқарған – түсіндірме сөздіктер топтамасын шығару жөніндегі ғылыми-баспа бағдаламасының ғылыми жетекшісі, педагогика ғылымдарының докторы, профессор, Қазақстан Республикасы Мемлекеттік сыйлығының лауреаты А.Қ.Құсайынов. – Алматы: «Мектеп» баспасы» ЖАҚ, 2002. – 456 бет. ISBN 5-7667-8284-5