левая часть хорновской формулы head (в языке ПРОЛОГ)
правая часть хорновской формулы tail of a clause (в языке пролог)
хвост хорновской формулы tail of a clause (в языке пролог)
хорновская формула Horn clause Предложение исчисления высказываний, записываемое в виде "А если В и В и ... В". Исследовано Хорном и названо его именем. Является основой конструкций языка Пролог.
хорновское восстановление Horn clause Предложение исчисления высказываний, записываемое в виде "А если В и В и ... В". Исследовано Хорном и названо его именем. Является основой конструкций языка Пролог.
хорновское выражение Horn clause Предложение исчисления высказываний, записываемое в виде "А если В и В и ... В". Исследовано Хорном и названо его именем. Является основой конструкций языка Пролог.
хорновское предложение Horn clause Предложение исчисления высказываний, записываемое в виде "А если В и В и ... В". Исследовано Хорном и названо его именем. Является основой конструкций языка Пролог.