述語論理言語
【じゅつごろんりげんご】
【jutsugoronrigengo】
谓词逻辑语言