毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西 逻辑程序开发和部分演绎的循环吸收和泛化策略。 (英语) Zbl 0778.68025号 J.日志。程序。 16,编号1-2,123-161(1993). 审核人:Y.M.El-Fattah(欧文) MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Proietti}和\textit{A.Pettorosi},J.Log。程序。16,第1-2123-161号(1993年;Zbl 0778.68025) 全文: DOI程序
莫里斯·布吕诺格;丹尼·德·施雷耶;布鲁诺·克雷克尔斯 编译控件。 (英语) Zbl 0668.68025号 J.逻辑程序。 6,编号1-2,135-162(1989).MSC公司:68N25号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bruynooghe}等人,J.Log。程序。6,编号1--2,135-162(1989;Zbl 0668.68025) 全文: DOI程序 链接
D.R.布鲁。;C.J.霍格。 将关联性编译成逻辑程序。 (英语) Zbl 0631.68013号 J.逻辑程序。 4, 345-359 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Brough}和\textit{C.J.Hogger},J.Log。程序。4345-359(1987年;Zbl 0631.68013) 全文: DOI程序
配件,梅尔文 逻辑程序的Kripke-Kleene语义。 (英语) Zbl 0589.68011号 J.逻辑程序。 2, 295-312 (1985). 审核人:G.薄荷 MSC公司:60年第68季度 68号01 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting},J.Log。程序。295-312(1985年;兹bl 0589.68011) 全文: DOI程序
广岛中川 PROLOG程序转换和树操作算法。 (英语) Zbl 0581.68017号 J.逻辑程序。 2, 77-91 (1985).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Nakagawa},J.Log。程序。277--91(1985年;Zbl 0581.68017) 全文: DOI程序