Хорн өрнегі

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

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

Санат:Ақпараттану
Санат:Компьютерлік техника