提示
黄林鹏
-
60浏览
-
0点赞
-
0收藏
-
0分享
-
27下载
-
0评论
-
引用
期刊论文
线性逻辑和逻辑式程序设计
计算机科学，1992，19（6）：11～17，-0001，（）：
摘要/描述
所谓的逻辑式程序设计它两个逻辑层次，外部逻辑和内部逻辑，前者描述对象之间的逻辑关系，而后者涉及目标求解遵循的逻辑法则。如PROLOG,它的外部逻辑是古典逻辑，而其计算遵循的，我们将证明可以使用线性逻辑中的记法加以刻画。西方从证明论角度出发，研究PROLOG目标求解成功或失败的公理化，并说明对任一给定的程序P，可定义一个线性理论LT（P），关于该理论，PROLOG目标求解是正确且完备的。
关键词:
【免责声明】以下全部内容由[黄林鹏]上传于[2011年04月25日 15时12分59秒]，版权归原创者所有。本文仅代表作者本人观点，与本网站无关。本网站对文中陈述、观点判断保持中立，不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考，并请自行承担全部责任。
我要评论
全部评论
共 0 条
本学者其他成果
同领域成果
