backward-chaining Доведення типу "від мети до фактів" Джерело: Англо-український словник технічних термінів на Slovnyk.me backward wind backward-compatible