general reciprocal recursive predicate的意思|示意
美 / /
英 / /
一般倒数递归谓词