論理型プログラミング

日 [ろんりがたぷろぐらみんぐ] [ronrigatapuroguramingu]

读成：ろんりがたぷろぐらみんぐ
中文：逻辑程式设计、逻辑程序设计