Or-parallelism within tabling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1551 LNCS, Issue , 1999, Pages 137-151

  Rocha, Ricardo ^a   Silva, Fernando ^a   Costa, Vítor Santos ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

Or parallelism; Parallel logic programming; Tabling

Indexed keywords

ALTERNATIVE APPROACH; FUNDAMENTAL CONCEPTS; OR-PARALLELISM; TABLING;

DATA STRUCTURES;

LOGIC PROGRAMMING;

EID: 84867456269     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (11)

1. K. A. M. Ali and R. Karlsson. Full Prolog and Scheduling OR-Parallelism in Muse. Intern. Journal of Parallel Programming, 19(6), Dec. 1990.
2. K. A. M. Ali and R. Karlsson. Scheduling Speculative Work in Muse and Performance Results. Intern. Journal of Parallel Programming, 21(6), Dec. 1992.
3. W. Chen and D. S. Warren. Query Evaluation under the Well Founded Semantics. In Proc. of PODS'93, pages 168-179, 1993.
4. B. Demoen and K. Sagonas. CAT: the Copying Approach to Tabling. In Proc. of PLILP/ALP'98. Springer-Verlag, Sep. 1998.
5. E. Lusk et. al. The Aurora Or-parallel Prolog System. In Proc. of FGCS'88, pages 819-830. ICOT, Nov. 1988.
6. J. Freire, R. Hu, T. Swift, and D. S. Warren. Exploiting Parallelism in Tabled Evaluations. In Proc. of PLILP'95, pages 115-132. Springer-Verlag, 1995.
7. J. Freire, T. Swift, and D. S. Warren. Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. In Proc. of PLILP'96, pages 243-258. Springer-Verlag, Sep. 1996.
8. I. V. Ramakrishnan, P. Rao, K. Sagonas, T. Swift, and D. S. Warren. Efficient Tabling Mechanisms for Logic Programs. In Proc. of ICLP'95, pages 687-711. The MIT Press, June 1995.
9. R. Rocha, F. Silva, and V. S. Costa. YapOr: an Or-Parallel Prolog System based on Environment Copying. Technical Report DCC-97-14, DCC-FC & LIACC, University of Porto, Dec. 1997.
10. K. Sagonas and T. Swift. An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. Journal of ACM Transactions on Programming Languages and Systems, 1998. To appear.
11. K. Sagonas, T. Swift, and D. S. Warren. XSB as an Efficient Deductive Database Engine. In Proc. of ACM SIGMOD International Conference on the Management of Data, pages 442-453, May 1994.