Хорн өрнегі
Қазақ Энциклопедиясы жобасынан алынған мәлімет
18:21, 2016 ж. наурыздың 23 кезіндегі Нұрлан Рахымжанов (Талқылауы) істеген түзету
Хорн өрнегі (Хорновское выражение; horn clause) — «егер В1 және В2 және ... Вп А» түрінде жазылатын айтылымдарды есептеу сөйлемі. Өрнекті зерттеуші Хорнның атымен аталған. Пролог тілі кұрылмасының негізі болып саналады.
<ref>Қазақ тілі терминдерінің салалық ғылыми түсіндірме сөздігі: Информатика және компьютерлік техника / Жалпы редакциясын басқарған түсіндірме сөздіктер топтамасын шығару жөніндегі ғылыми-баспа бағдарламасының ғылыми жетекшісі, педагогика ғылымдарының докторы, профессор, Қазақстан Республикасы Мемлекеттік сыйлығының лауреаты А.Қ.Құсайынов.
– Алматы: «Мектеп» баспасы» ЖАҚ, 2002 жыл. – 456 бет. ISBN 5-7667-8284-5</ref>
Дереккөздер
<references/>