Castro, Sergio Mens, Kim and Moura, Paulo 2017. JPC: A library for categorising and applying inter-language conversions between Java and Prolog. Science of Computer Programming, Vol. 134, p. 75.
Vennekens, Joost 2017. Practical Aspects of Declarative Languages.
Areias, Miguel and Rocha, Ricardo 2016. On scaling dynamic programming problems with a multithreaded tabling Prolog system. Journal of Systems and Software,
Calimeri, Francesco Fuscà, Davide Perri, Simona and Zangari, Jessica 2016. AI*IA 2016 Advances in Artificial Intelligence.
COSTANTINI, STEFANIA and FORMISANO, ANDREA 2016. Query answering in resource-based answer set semantics. Theory and Practice of Logic Programming, Vol. 16, Issue. 5-6, p. 619.
Drabent, Włodzimierz 2016. Correctness and Completeness of Logic Programs. ACM Transactions on Computational Logic, Vol. 17, Issue. 3, p. 1.
Luteberget, Bjørnar Johansen, Christian and Steffen, Martin 2016. Integrated Formal Methods.
Luteberget, Bjørnar Johansen, Christian Feyling, Claus and Steffen, Martin 2016. FM 2016: Formal Methods.
Madsen, Magnus Yee, Ming-Ho and Lhoták, Ondřej 2016. From Datalog to flix: a declarative language for fixed points on lattices. ACM SIGPLAN Notices, Vol. 51, Issue. 6, p. 194.
Riguzzi, Fabrizio Bellodi, Elena Lamma, Evelina Zese, Riccardo and Cota, Giuseppe 2016. Probabilistic logic programming on the web. Software: Practice and Experience, Vol. 46, Issue. 10, p. 1381.
VANDENBROUCKE, ALEXANDER PIRÓG, MACIEJ DESOUTER, BENOIT and SCHRIJVERS, TOM 2016. Tabling with Sound Answer Subsumption. Theory and Practice of Logic Programming, Vol. 16, Issue. 5-6, p. 933.
Wielemaker, Jan Beek, Wouter Hildebrand, Michiel van Ossenbruggen, Jacco and Polleres, Axel 2016. ClioPatria: A SWI-Prolog infrastructure for the Semantic Web. Semantic Web, Vol. 7, Issue. 5, p. 529.
BRUYNOOGHE, MAURICE BLOCKEEL, HENDRIK BOGAERTS, BART DE CAT, BROES DE POOTER, STEF JANSEN, JOACHIM LABARRE, ANTHONY RAMON, JAN DENECKER, MARC and VERWER, SICCO 2015. Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Theory and Practice of Logic Programming, Vol. 15, Issue. 06, p. 783.
DESOUTER, BENOIT VAN DOOREN, MARKO and SCHRIJVERS, TOM 2015. Tabling as a library with delimited control. Theory and Practice of Logic Programming, Vol. 15, Issue. 4-5, p. 419.
Grosof, Benjamin N. Kifer, Michael and Fodor, Paul 2015. Reasoning Web. Web Logic Rules.
Pereira, Luís Moniz and Saptawijaya, Ari 2015. Rethinking Machine Ethics in the Age of Ubiquitous Technology.
Sáenz-Pérez, Fernando 2015. Restricted Predicates for Hypothetical Datalog. Electronic Proceedings in Theoretical Computer Science, Vol. 200, p. 64.
Sáenz-Pérez, Fernando 2015. Improving the Deductive System DES with Persistence by Using SQL DBMS's. Electronic Proceedings in Theoretical Computer Science, Vol. 173, p. 100.
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 subsumption are supported. As a result, TLP has now been used in a variety of applications from program analysis to querying over the semantic web. This paper provides a survey of TLP and its applications as implemented in the XSB Prolog, along with discussion of how XSB supports tabling with dynamically changing code, and in a multi-threaded environment.
This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
Email your librarian or administrator to recommend adding this journal to your organisation's collection.
Full text views reflects the number of PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.
Abstract views reflect the number of visits to the article landing page.
* Views captured on Cambridge Core between September 2016 - 29th May 2017. This data will be updated every 24 hours.