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