Swapping evaluation: A memory-scalable solution for answer-on-demand tabling

DOI10.1017/S1471068410000189zbMath1213.68172arXiv1007.3961OpenAlexW2154943902MaRDI QIDQ3585156

Pablo Chico de Guzm'An, Manuel Carro, David S. Warren

Publication date: 19 August 2010

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

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

zbMATH Keywords

performanceimplementationtablinglogic programmingon-demand answers

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• XSB

Cites Work

• Semantics-based program analysis for logic-based languages using XSB
• Tabled evaluation with delaying for general logic programs
• Depth-First Search and Linear Graph Algorithms

This page was built for publication: Swapping evaluation: A memory-scalable solution for answer-on-demand tabling