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