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