帰納的述語
【きのうてきじゅつご】
【kinoutekijutsugo】
递归谓词