Towards multi-threaded local tabling using a common table space

DOI10.1017/S1471068412000117zbMath1260.68056arXiv1210.2282OpenAlexW2049798241MaRDI QIDQ4911126

Ricardo Rocha, Miguel Areias

Publication date: 13 March 2013

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

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

zbMATH Keywords

implementationtablingmulti-threading

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Table space designs for implicit and explicit concurrent tabled evaluation ⋮ Parallel Logic Programming: A Sequel

Uses Software

• OpenRuleBench
• XSB
• OPTYap

Cites Work

• XSB: Extending Prolog with Tabled Logic Programming
• Efficient access mechanisms for tabled logic programs
• Tabled evaluation with delaying for general logic programs
• On applying or-parallelism and tabling to logic programs
• Concurrent and Local Evaluation of Normal Programs

This page was built for publication: Towards multi-threaded local tabling using a common table space