[计] first order predicate calculus, first-order predicate calculus

yī jiē wèi cí yǎn suàn ㄧ ㄐㄧㄝ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ