Horn clause Предложение исчисления высказываний, записываемое в виде А если В и В и ... В. Исследовано Хорном и названо его именем. Является основой конструкций языка Пролог.
Russian-English Modern Computing dictionary
хорновское восстановление
Horn clause Предложение исчисления высказываний, записываемое в виде А если В и В и ... В. Исследовано Хорном и названо его именем. Является основой конструкций языка Пролог.
Russian-English Modern Computing dictionary
хорновское выражение
Horn clause Предложение исчисления высказываний, записываемое в виде А если В и В и ... В. Исследовано Хорном и названо его именем. Является основой конструкций языка Пролог.
Russian-English Modern Computing dictionary
хорновское предложение
Horn clause Предложение исчисления высказываний, записываемое в виде А если В и В и ... В. Исследовано Хорном и названо его именем. Является основой конструкций языка Пролог.