述語ロック

【じゅつごろっく】

述語ロック

读成： じゅつごろっく
中文： 谓词逻辑锁