論理型プログラム言語

日 [ろんりがたぷろぐらむげんご] [ronrigatapuroguramugengo]

读成：ろんりがたぷろぐらむげんご
中文：逻辑编程语言、逻辑程序语言、逻辑程式语言