Tabling, Rational Terms, and Coinduction Finally Together!
From MaRDI portal
Publication:2931251
DOI10.1017/S147106841400012XzbMath1307.68019arXiv1405.2794OpenAlexW3100924394MaRDI QIDQ2931251
Paulo Moura, Ricardo Rocha, Theofrastos Mantadelis
Publication date: 25 November 2014
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1405.2794
Related Items (3)
Uses Software
Cites Work
- Semantics of infinite tree logic programming
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler
- The YAP Prolog system
- SWI-Prolog
- XSB: Extending Prolog with Tabled Logic Programming
- Parser generation and grammar manipulation using prolog's infinite trees
- Efficient access mechanisms for tabled logic programs
- Tabled evaluation with delaying for general logic programs
This page was built for publication: Tabling, Rational Terms, and Coinduction Finally Together!