谓词逻辑锁的英文翻译

中文：谓词逻辑锁