Concurrent table accesses in parallel tabled logic programs

DOI10.1007/978-3-540-27866-5_87MaRDI QIDQ5311419zbMATH OpenOpenAlexFDO

Authors Ricardo Rocha, Fernando Silva, Vítor Costa

Publication date 23 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99409

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• On a tabling engine that can exploit or-parallelism
• On applying or-parallelism and tabling to logic programs
• Table space designs for implicit and explicit concurrent tabled evaluation
• A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives
• Towards multi-threaded local tabling using a common table space

Cited in

(9)

• A system of tabled constraint logic programming
• scientific article; zbMATH DE number 7445165 (Why is no real title available?)
• Table space designs for implicit and explicit concurrent tabled evaluation
• On applying or-parallelism and tabling to logic programs
• On a tabling engine that can exploit or-parallelism
• A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives
• scientific article; zbMATH DE number 2111983 (Why is no real title available?)
• Towards multi-threaded local tabling using a common table space
• Speculative computations in or-parallel tabled logic programs

Describes a project that uses

Uses Software

• OPTYap
• XSB

This page was built for publication: Concurrent table accesses in parallel tabled logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311419)