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

backward-chaining
.טכנול	дове́дення типу "від мети́ до фактів"
מחש.	висновок "від мети до фактів" (в експертних системах і автоматичному доказі теорем)
backward chaining
.טכנול	зворотний логічний ви́сновок (від мети до вихідних посилань)