标签:逻辑递归