制限された述語計算
【せいげんされたじゅつごけいさん】
【seigensaretajutsugokeisan】
狭谓词演算