Tabling with Sound Answer Subsumption

DOI10.1017/S147106841600048XzbMath1379.68084arXiv1608.00787MaRDI QIDQ4593070

Alexander Vandenbroucke, Benoit Desouter, Maciej Piróg, Tom Schrijvers

Publication date: 9 November 2017

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

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

zbMATH Keywords

latticepartial orderdenotational semanticstablingProloganswer subsumptionmode-directed tabling

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• YAP-Prolog
• B-Prolog
• XSB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Greedoids
• Tabling for non-monotonic programming
• The YAP Prolog system
• XSB: Extending Prolog with Tabled Logic Programming
• The language features and architecture of B-Prolog
• Abstract interpretation and application to logic programs
• Tabling with Answer Subsumption: Implementation, Applications and Performance
• Partially Ordered Sets

This page was built for publication: Tabling with Sound Answer Subsumption