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