Хорн өрнегі

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

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

[1]

Дереккөздер[өңдеу]

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