backward-chaining

Вывод от цели к фактам