计算机科学 ›› 1992, Vol. 19 ›› Issue (6): 11-17.
• 计算机网络与信息安全 • 上一篇 下一篇
黄林鹏 孙永强
出版日期:
发布日期:
Online:
Published:
摘要: 所谓的逻辑式程序设计它涉及两个逻辑层次:外部逻辑和内部逻辑,前者描述对象之间的逻辑关系,而后者涉及目标求解遵循的逻辑法则。如PROLOG,它的外部逻辑是古典逻辑,而其计算遵循的,我们将证明可以使用线性逻辑中的记法加以刻画。本文从从证明论角度出发,研究PROLOG目标求解成功或失败的公理性,并说明对任一给定的程序P,可定义一个线性理论LT(P),关于该理论,PROLOG目标求解是正确且完备的。
关键词: 线性逻辑 逻辑程序设计
黄林鹏 孙永强. 线性逻辑和逻辑式程序设计[J]. 计算机科学, 1992, 19(6): 11-17. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y1992/V19/I6/11
Cited