прямая цепочка [логического] вывода

forward chaining (один из методов поиска решения в экспертных системах. Ход рассуждений ведётся от фактов к цели (тому, что нужно доказать) ssn)