XSB: Extending Prolog with Tabled Logic Programming

@article{Swift2012XSBEP,
  title={XSB: Extending Prolog with Tabled Logic Programming},
  author={T. Swift and D. Warren},
  journal={Theory Pract. Log. Program.},
  year={2012},
  volume={12},
  pages={157-187}
}
  • T. Swift, D. Warren
  • Published 2012
  • Computer Science
  • Theory Pract. Log. Program.
  • The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this are partly theoretical: tabling ensures termination and optimal known complexity for queries to a large class of programs. However, the overriding reasons are practical. TLP allows sophisticated programs to be written concisely and efficiently, especially when mechanisms such as tabled negation and call and answer… CONTINUE READING
    178 Citations
    JPL : Implementation of a Prolog System Supporting Incremental Tabulation
    Probabilistic Inference in SWI-Prolog
    • 1
    • Highly Influenced
    • PDF
    Batched evaluation of linear tabled logic programs
    • 1
    • PDF
    Design and implementation of a modular interface to integrateCLP and tabled execution
    QUERY PROOF STRUCTURE CACHING FOR INCREMENTAL EVALUATION OF TABLED PROLOG PROGRAMS
    • 1
    • Highly Influenced
    • PDF
    Tabling with Support for Relational Features in a Deductive Database
    • F. Sáenz-Pérez
    • Computer Science
    • Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
    • 2012
    • 7
    • PDF
    Mode-Directed Tabling and Applications in the YapTab System
    • 4
    • PDF

    References

    SHOWING 1-10 OF 122 REFERENCES
    Achieving scalability in parallel tabled logic programs
    • R. Rocha, F. Silva, V. Costa
    • Computer Science
    • Proceedings 16th International Parallel and Distributed Processing Symposium
    • 2002
    • 8
    • PDF
    Tabling for non‐monotonic programming
    • T. Swift
    • Computer Science
    • Annals of Mathematics and Artificial Intelligence
    • 2004
    • 84
    Heap Memory Management in Prolog with Tabling: Principles and Practice
    • 84
    • PDF
    Parallelizing Tabled Evaluations
    • 3
    InterProlog: Towards a Declarative Embedding of Logic Programming in Java
    • 40
    Efficient Access Mechanisms for Tabled Logic Programs
    • 110
    • PDF
    A New Formulation of Tabled Resolution with Delay
    • 23
    Semantics-based program analysis for logic-based languages using XSB
    • 25
    A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs
    • 23
    • PDF