%0 Journal Article
%T 线性逻辑和逻辑式程序设计
%A 黄林鹏
%A 孙永强
%J 计算机科学
%D 1992
%I 
%X 所谓的逻辑式程序设计它涉及两个逻辑层次：外部逻辑和内部逻辑，前者描述对象之间的逻辑关系，而后者涉及目标求解遵循的逻辑法则。如PROLOG，它的外部逻辑是古典逻辑，而其计算遵循的，我们将证明可以使用线性逻辑中的记法加以刻画。本文从从证明论角度出发，研究PROLOG目标求解成功或失败的公理性，并说明对任一给定的程序P，可定义一个线性理论LT（P），关于该理论，PROLOG目标求解是正确且完备的。
%K 线性逻辑
%K 逻辑程序设计
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=6F72534100CC1A53968133FB8E76D984&yid=F53A2717BDB04D52&vid=2A8D03AD8076A2E3&iid=B31275AF3241DB2D&sid=708DD6B15D2464E8&eid=BCA2697F357F2001&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0