On Applying Or-Parallelism to Tabled Evaluations (1997)

by Ricardo Rocha , Fernando Silva, V'itor Santos Costa
Citations:6 - 3 self

Documents Related by Co-Citation

39 Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies – Juliana Freire, Terrance Swift, David S. Warren - 1996
491 An Abstract Prolog Instruction Set – D H D Warren - 1983
7 Well-Founded Ordered Search: Goal directed bottom-up evaluation of well-founded models – Peter J. Stuckey, S. Sudarshany - 1997
35 An Abstract Machine for SLG Resolution: Definite Programs – Terrance Swift, David S. Warren - 1994
3 User's Guide and Reference Manual. Centro de Informatica da Universidade do – YAP - 1989
7 Or-Parallelism within Tabling – Ricardo Rocha, Fernando Silva, Vítor Santos Costa, Ricardo Rocha Fern, O Silva V'itor Santos Costa - 1999
21 Exploiting Parallelism in Tabled Evaluations – Juliana Freire, Rui Hu, Terrance Swift, David S. Warren - 1995
260 Tabled Evaluation with Delaying for General Logic Programs – Weidong Chen, David S. Warren - 1996
2 Combining Scheduling Strategies in Tabled Evaluations – Juliana Freire, David S. Warren - 1997
9 Fine-grained goal-directed declarative analysis of logic programs – D Boulanger - 1997
3 A new tabling scheme with dynamic reordering of alternatives – Hai-Feng Guo, G Gupta - 2000
11 YapOr: an Or-Parallel Prolog System based on Environment Copying – Ricardo Rocha, Fernando Silva, Vítor Santos Costa, Ricardo Rocha Fern, O Silva V'itor Santos Costa - 1997
31 CHAT: the Copy-Hybrid Approach to Tabling – Bart Demoen, Konstantinos Sagonas - 1999
60 D.S.: Query evaluation under the well-founded semantics – W Chen, Warren - 1993
31 Implementation of a Linear Tabling Mechanism – Neng-Fa Zhou, Yi-Dong Shen, Li-yan Yuan, Jia-huai You - 2000
36 CAT: the Copying Approach to Tabling – Bart Demoen, Konstantinos Sagonas - 1998
41 Efficient Tabling Mechanisms for Logic Programs – I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David S. Warren - 1995
67 An abstract machine for tabled execution of fixed-order stratified logic programs – Terrance Swift - 1998
8 Scheduling Speculative Work in MUSE and Performance Results – Khayri A. M. Ali, Roland Karlsson - 1992