关于将并行性和表格化应用于逻辑程序
摘要：隐式或并行性和摘要表都是促进Prolog增加可声明性和表达能力的一种可行技术。我们的研究表明，对于具有摘要表的逻辑程序来说，隐式或并行性是一个自然的选择。为了证实这一观点，我们设计并实现了一个支持隐式或并行摘要表的引擎——OPTYap，并使用共享内存并行机器来评估性能。据我们所知，OPTYap是首个用于逻辑编程系统的并行摘要表引擎实现。OPTYap借鉴了Yap的高效顺序Prolog引擎。其执行模型基于SLG-WAM的摘要表，以及基于环境复制的隐式或并行性。 初步结果表明，在SLD解析的上下文中将搜索并行化的机制确实可以有效和自然地推广到摘要表计算的并行化，而且在共享内存并行机器上能够实现良好的性能。更重要的是，这强调了我们的信念，通过将隐式或并行性和摘要表应用于逻辑程序，可以增加逻辑编程的应用范围。
作者：Ricardo Rocha and Fernando Silva and Vitor Santos Costa
论文ID：cs/0308007
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23