backward chaining

Зворотний логічний висновок (від мети до вихідних посилань)