Я ищу точное описание алгоритма вывода с помощью обратной цепочки. Всякий раз, когда я ищу, я просто нахожу стандартный пример, снятый с Рассела и Норвиг, без формального описания алгоритма.
может быть, эта ссылка может помочь: https://pvhaley.wordpress.com/2008/03/11/goals-and-backward-chaining-using-the-rete-algorithm/
ура! * * 1005