On applying or-parallelism and tabling to logic programs

DOI10.1017/S1471068404002030zbMath1093.68021OpenAlexW2127409356MaRDI QIDQ4673543

Fernando Silva, Vitor Costa, Ricardo Rocha

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

performanceimplementationtablingor-parallelism

Mathematics Subject Classification ID

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

Related Items (9)

The YAP Prolog system ⋮ Table space designs for implicit and explicit concurrent tabled evaluation ⋮ Infinite probability computation by cyclic explanation graphs ⋮ Fifty Years of Prolog and Beyond ⋮ Parallel Logic Programming: A Sequel ⋮ Towards multi-threaded local tabling using a common table space ⋮ CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge ⋮ OPTYap ⋮ Concurrent and Local Evaluation of Normal Programs

Uses Software

• SICStus
• XSB
• CAT
• YapOr
• YapTab

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