On applying or-parallelism and tabling to logic programs

DOI10.1017/S1471068404002030MaRDI QIDQ4673543zbMATH OpenOpenAlexFDO

Authors Ricardo Rocha, Fernando Silva, Vítor Costa

Publication date 29 April 2005

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

Full work available at URL https://doi.org/10.1017/s1471068404002030

zbMATH Keywords

implementationor-parallelismperformancetabling

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 2085268
• Euro-Par 2004 Parallel Processing
• Threads and or-parallelism unified
• scientific article; zbMATH DE number 4128360
• scientific article; zbMATH DE number 712424

Cited in

(14)

• OPTYap
• The YAP prolog system
• Infinite probability computation by cyclic explanation graphs
• The reduce-or process model for parallel execution of logic programs
• Threads and or-parallelism unified
• Table space designs for implicit and explicit concurrent tabled evaluation
• scientific article; zbMATH DE number 2085268 (Why is no real title available?)
• Towards multi-threaded local tabling using a common table space
• Euro-Par 2004 Parallel Processing
• Logic Programming
• CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge
• Concurrent and Local Evaluation of Normal Programs
• Fifty Years of Prolog and Beyond
• Parallel Logic Programming: A Sequel

Describes a project that uses

Uses Software

• XSB
• SICStus
• CAT
• YapOr
• YapTab

This page was built for publication: On applying or-parallelism and tabling to logic programs

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