| English | Russian |
| backward chaining inference engine | механизм обратного логического вывода (механизм логического вывода от целевой гипотезы (цели, т.е. того, что нужно доказать) к исходным посылкам (к фактам, на которых будет основываться доказательство) Alex_Odeychuk) |
| backward-chaining inference engine | компонент дедуктивного вывода (Alex_Odeychuk) |
| backward-chaining inference engine | машина обратного логического вывода (Alex_Odeychuk) |
| forward and backward chaining inference based rules engine | машина обработки правил с прямым и обратным логическим выводом (Alex_Odeychuk) |