backward rule-based deduction system基于: because of; in view of; on a ...反向: opposite direction; reverse; ...规则: rule; regulation; ordination ...的: 4次方是 The fourth power of 2 i ...演绎: deduction下载手机词典可随时随地查词查翻译
