אנגלית ⇄ גרמנית +

backward-controlled inferencing
.טכנול	rückwärtsgesteuertes Schlussfolgern