常见例句True_atom rn -> CBasic. 聽 聽 聽 聽 PBasic.Predication pid -> CBasic. 聽 聽 聽 聽 PBasic.False_atom rn -> CBasic. 聽 聽 聽 聽 PBasic. 返回 CBASIC