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