[计] forward rule-based deduction system
zhèng xiàng guī zé yǎn yì xì tǒng ㄓㄥˋ ㄒㄧㄤˋ ㄍㄨㄟ ㄗㄜˊ ㄧㄢˇ ㄧˋ ㄒㄧˋ ㄊㄨㄥˇ