[计] high-order predicate calculus, higher order predicate calculus

gāo jiē wèi cí yǎn suàn ㄍㄠ ㄐㄧㄝ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ