אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית ספרדית פורטוגלית פינית צרפתית שוודית +

depth-first backward reasoning
.טכנול, .עיבוד	backtracking; baglænsning