backward-chaining

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