跳过导航链接
pop.prolog.function

类 IsInt

跳过导航链接