%0 Journal Article %T 可演绎系统的研究 %A 李磊 Koulo %A Jd %J 计算机科学 %D 1993 %I %X 本文综述了可演绎系统目前的研究情况,认为以 DATALOG 为代表的演绎数据库系统进化为实用系统是困难的。文中简介了一个基于 PROLOG 的可实用的可演绎系统,还对进一步的研究内容及其原因进行了讨论。 %K 可演绎系统 %K 演绎数据库 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=D7D3B3F1EB13F16E3E51E5B8AA130EDC&yid=D418FDC97F7C2EBA&vid=A04140E723CB732E&iid=38B194292C032A66&sid=EA389574707BDED3&eid=C5154311167311FE&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0