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

摘要：

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

关键词： 互逆主义逻缉 二层单准演算 二层递归 二层迭代 经数联符

作者: 周训伟 鲍泓

作者单位: 北京联合大学信息技术研究所,北京,100101 北京联合大学信息学院,北京,100101

会议类型: 国内会议

会议名称: 全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会

会议地点: 南京

会议语种:中文

页码: 326-333

在线出版日期: 2006-10-01（万方平台首次上网日期，不代表论文的发表时间）