[计]?后向演绎系统
... backward chaining 反向链接 backward counter 反向计数器 backward deduction system 后向演绎系统 ...
?逆向演绎推理
... 逆向搜索（backward search） 逆向演绎推理（backward deduction system） 启发式搜索法（heuristc search method ） ...
基于反向规则的演绎系统
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。