Tabling, Rational Terms, and Coinduction Finally Together!

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

zbMATH Keywords

implementationtablingcoinductionrational terms

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Generalizing Inference Systems by Coaxioms ⋮ Flexible coinductive logic programming ⋮ Unnamed Item

Uses Software

• YAP-Prolog
• XSB

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!