作为具有分隔控件的库进行制表
Tabling as a Library with Delimited Control
摘要：
Tabling可能是Prolog最广泛研究的扩展。但是，尽管它的重要性和实用性，制表并没有实现大多数Prolog系统。现有的方法需要对Prolog引擎进行实质性的更改，这是大多数系统无法实现的投资。为了更广泛地采用，我们提出了一个新的实现表在600行以下的Prolog代码。我们的轻量级方法依赖于分隔控制，并提供合理的性能。
英文摘要：
Tabling is probably the most widely studied extension of Prolog. But despite its importance and practicality, tabling is not implemented by most Prolog systems. Existing approaches require substantial changes to the Prolog engine, which is an investment out of reach of most systems. To enable more widespread adoption, we present a new implementation of tabling in under 600 lines of Prolog code. Our lightweight approach relies on delimited control and provides reasonable performance.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
