backward-chaining

Доведення типу "від мети до фактів"

Джерело: Англо-український словник технічних термінів на Slovnyk.me