論理型言語
【ろんりがたげんご】
【ronrigatagengo】
逻辑语言