曼努埃尔五世（Manuel V.Hermenegildo）。;弗朗西丝卡·罗西 逻辑程序中的严格与非严格独立与并行：正确性、效率和编译时间条件。 （英语） Zbl 0829.68023号 J.日志。程序。 22，第1期，1-45页（1995年）. 摘要：本文介绍了独立并行的一些基本性质，并通过扩大可并行执行的目标类来扩展其适用性。提出了一种简单的（独立）并行执行模型，并根据该模型讨论了正确性和效率问题。定义了“严格”和“非严格”独立性这两个条件，并证明了这两个条件足以确保并行执行的正确性和效率：如果满足这些条件的目标并行执行，则获得的解与标准顺序执行产生的解相同。此外，在没有故障的情况下，并行证明过程不会产生任何额外的工作（关于标准SLD分辨率），而实际执行时间会减少。最后，如果任何一个目标失败，就不会出现减速。对于严格独立性，结果显示独立于并行目标是在同一环境中执行还是在不同环境中执行。此外，还给出了独立并行编译时自动生成的形式化依据：提出了在运行时有效检查目标独立性的编译时条件，并证明了其充分性。此外，如果编译器可以获得有关要并行执行的目标的绑定联系的信息，则给出了用于构造更简单条件的规则。 引用于9文件 MSC公司： 68N17号 逻辑编程 68N20型 编译与解释理论 关键词：编译时条件;SLD分辨率 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Hermenegildo}和\textit{F.Rossi}，J.Log。程序。22，第1号，1--45（1995；Zbl 0829.68023） 全文： 内政部