Anglais ⇄ Allemand Russe +

backward inferencing contraintes
makar.	обратное логическое умозаключение (в экспертной системе)
équip.	обратная цепочка умозаключений; обратное логическое умозаключение (в экспертной системе)