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

performanceimplementationor-parallelismtabling

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)

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

Describes a project that uses

Uses Software

• YapTab
• YapOr
• CAT
• XSB
• SICStus

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)