在我的课堂上，我学习了Prolog回溯算法和Rete前向传播算法，但也被告知Rete可以用于进行反向传播。 这是如何工作的？与Prolog回溯相比，它有哪些相似之处/不同之处？ 例如，这是我收到的其中一项练习：(R1) 24fingers and antennas => orig...