XSB：将Prolog扩展为表格逻辑编程
摘要：支持表逻辑编程（TLP）范式的Prolog系统包括XSB、YAP Prolog、B-Prolog、Mercury、ALS和Ciao。部分原因是理论上的：表编程确保了程序的终止和对大类程序的查询的最优已知复杂性。然而，主要原因是实践性的。TLP允许编写简洁高效的复杂程序，尤其是在支持表否定、调用和答复占用等机制时。因此，TLP已经被应用于从程序分析到语义网查询的各种应用中。本文调查了XSB Prolog中实现的TLP及其应用，并讨论了XSB如何支持动态更改代码和多线程环境中的表编程。
作者：Terrance Swift and David S. Warren
论文ID：1012.5123
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-12-24