дизъюнкт Хорна Horn clause Предложение исчисления высказываний, записываемое в виде "А если В и В и ... В". Исследовано Хорном и названо его именем. Является основой конструкций языка Пролог.
формула Хорна Horn clause Предложение исчисления высказываний, записываемое в виде "А если В и В и ... В". Исследовано Хорном и названо его именем. Является основой конструкций языка Пролог.