On Applying Or-Parallelism and Tabling to Logic Programs

Details On Applying Or-Parallelism and Tabling to Logic Programs On Applying Or-Parallelism and Tabling to Logic Programs

2003-08-04

arxiv.org/abs/cs/0308007v1

Computer Science

Programming Languages

45 pages, 12 figures, to appear in the journal of Theory and Practice of Logic Programming (TPLP)

Scientific paper

The past years have seen widening efforts at increasing Prolog's declarativeness and expressiveness. Tabling has proved to be a viable technique to efficiently overcome SLD's susceptibility to infinite loops and redundant subcomputations. Our research demonstrates that implicit or-parallelism is a natural fit for logic programs with tabling. To substantiate this belief, we have designed and implemented an or-parallel tabling engine -- OPTYap -- and we used a shared-memory parallel machine to evaluate its performance. To the best of our knowledge, OPTYap is the first implementation of a parallel tabling engine for logic programming systems. OPTYap builds on Yap's efficient sequential Prolog engine. Its execution model is based on the SLG-WAM for tabling, and on the environment copying for or-parallelism. Preliminary results indicate that the mechanisms proposed to parallelize search in the context of SLD resolution can indeed be effectively and naturally generalized to parallelize tabled computations, and that the resulting systems can achieve good performance on shared-memory parallel machines. More importantly, it emphasizes our belief that through applying or-parallelism and tabling to logic programs the range of applications for Logic Programming can be increased.

Affiliated with

Also associated with

No associations

Rating

On Applying Or-Parallelism and Tabling to Logic Programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On Applying Or-Parallelism and Tabling to Logic Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Applying Or-Parallelism and Tabling to Logic Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-176397