二层单准Prolog语言中的二层递归

摘要

二层单准Prolog语言基于互逆主义逻辑中的二层单准演算,其中会出现二层递归现象、即头和体中出现相同的经数联符.本文讨论了五种二层递归:体中只有一个二单经数命题的二层递归、有二层递归出口的二层尾递归(它可以变换为二层迭代)、无二层递归出口的二层尾递归、成功分支先于无穷分支的非二层尾递归的二层递归、无穷分支先于成功分支的非二层尾递归的二层递归.