Description, Implementation, and Evaluation of a Generic Design for Tabled CLP

DOI10.1017/S1471068418000571zbMath1472.68021arXiv1809.05771OpenAlexW2891358593MaRDI QIDQ4957184

Joaquin Arias, Manuel Carro

Publication date: 3 September 2021

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.05771

zbMATH Keywords

interfaceimplementationconstraintstablingProlog

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming ⋮ Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP

Uses Software

• TCHR
• CHIP
• XSB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Declarative modeling of the operational behavior of logic languages
• Memoing evaluation for constraint extensions of datalog
• XSB: Extending Prolog with Tabled Logic Programming
• An overview of Ciao and its design philosophy
• TCHR: a framework for tabled CLP
• Tabled evaluation with delaying for general logic programs
• Worst-case groundness analysis using definite Boolean functions
• Tabling with Answer Subsumption: Implementation, Applications and Performance
• Failure tabled constraint logic programming by interpolation

This page was built for publication: Description, Implementation, and Evaluation of a Generic Design for Tabled CLP