https://oa.upm.es/id/eprint/13285 2014年11月4日T11:37:23Z 信息：eu-repo/stemantics/descriptiveMetadata 确定性和互斥性的自动推断用于使用模式和类型分析的逻辑程序 布埃诺·卡里略，弗朗西斯科 曼努埃尔五世（Manuel V.Hermenegildo）。 佩德罗·洛佩斯·加西亚 通知ática 我们建议对检测程序和目标进行分析它们是确定性的（即最多一次产生一个解决方案），或者是子句测试互斥的谓词（这意味着它们最多只能有一个子句成功），即使它们不是确定性的。该分析利用剪枝算子来提高互斥检测和确定性。它还支持算术方程和不等式，以及项上的方程和不等式，为此我们给出了一个完整的可满足性测试算法，w.r.t.可用类型信息。确定性信息可用于程序调试和优化、资源消耗和粒度控制，我们已经实现了分析并将其集成在CiaoPP系统中，该系统还自动推断出我们的分析作为输入的模式和类型信息。对该实现进行的实验表明，该分析是相当准确和有效的。 信息学院（UPM） https://creativecommons.org/licenses/by-nc-nd/3.0/es/ 2010 信息：eu-repo/stemantics/article 艺术 新一代计算，ISSN 0288-36352010，第28卷，第2期 同行评审 应用程序/pdf 发动机 http://www.springerlink.com/content/2761376717112242/ 信息：eu-repo/grantAgreement/EC/FP7/215483 信息：eu-repo/stemantics/openAccess 信息：eu-repo/stemantics/altIdentifier/doi/10.1007/s00354-008-0085-1 https://oa.upm.es/13285/ 信息：eu repo/semantics/objectFile 信息：eu-repo/stemantics/humanStartPage