帰納的論理プログラミング
【きのうてきろんりぷろぐらみんぐ】
【kinoutekironripuroguramingu】
归纳逻辑程序设计