%0 Journal Article
%T PROLOG语言中的一个逻辑问题
%A 陈有祺
%J 计算机科学
%D 1989
%I 
%X 一、问题的提出 PROLOG语言是一种重要的逻辑型程序设计语言,它是以谓词演算为基础的,由于这种语言的独特风格和深远意义,已引起世界各国的广泛重视。但是,它还存在着若干不足之处,其中关于逻辑非(否定)的定义,就存在着严重的问题。
%K PROLOG语言
%K 谓词演算
%K 逻辑程序
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=C0618086D7532B2E2A0FCF8508D3A8E8&yid=1833A6AA51F779C1&vid=7801E6FC5AE9020C&iid=CA4FD0336C81A37A&sid=C5154311167311FE&eid=96C778EE049EE47D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0