Вывод прямой логический (forward chaining) — итеративная процедура, которая регулирует порядок, в котором делаются логические выводы, начиная с установленных фактов и заканчивая, когда система, основанная на правилах, достигнет цели или когда иссякнут новые возможности.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]