Swift, Terrance Incremental tabling in support of knowledge representation and reasoning. (English) Zbl 1307.68023 Theory Pract. Log. Program. 14, No. 4-5, 553-567 (2014). MSC: 68N17 68T30 68T35 PDFBibTeX XMLCite \textit{T. Swift}, Theory Pract. Log. Program. 14, No. 4--5, 553--567 (2014; Zbl 1307.68023) Full Text: DOI arXiv
Swift, Terrance; Warren, David S. XSB: extending Prolog with tabled logic programming. (English) Zbl 1244.68021 Theory Pract. Log. Program. 12, No. 1-2, 157-187 (2012). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Swift} and \textit{D. S. Warren}, Theory Pract. Log. Program. 12, No. 1--2, 157--187 (2012; Zbl 1244.68021) Full Text: DOI arXiv