論理言語
【ろんりげんご】
【ronrigengo】
逻辑语言