米歇尔·布格列西;伊芙琳娜·拉姆;保罗·梅洛 结构化逻辑编程的部分演绎。 （英语） Zbl 0774.68025号 J.日志。程序。 16，编号1-2，89-122（1993）. 作者将部分演绎技术扩展到结构化逻辑程序的情况。块结构可以是静态的，也可以是动态的。给出了稳健性和完整性结果。审核人：A.佩特罗西（罗马） 引用于2文件 MSC公司： 68N17号 逻辑编程 关键词：模块;阻碍;部分扣除 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，J.Log。程序。16，编号1--2，89-122（1993；Zbl 0774.68025） 全文： 内政部