Publication Type |
Abstract |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Freire, Juliana |
Other Author |
Hu, Rui; Swift, Terrance; Warren, David S. |
Title |
Parallelizing tabled evaluations |
Date |
1994 |
Description |
SLG is a table-oriented resolution method that extends SLD evaluation in two ways. It computes the well-founded model for logic programs with negation with polynomial data complexity,and it terminates for programs with the bounded-term-size property. Furthermore SLG has an efficient sequential implementation for modularly stratified programs in the SLG-WAM of XSB. This paper addresses general issues involved in parallelizing tabled evaluations by introducing a model of shared-memory parallelism which we call table parallelism and by comparing it to traditional models of parallelizing SLD. A basic architecture for supporting table parallelism in the framework of the SLG-WAM is also presented, along with an algorithm for detecting termination of subcomputations. |
Type |
Text |
Publisher |
Workshop on Design and Implementation of Parallel Logic Programming Systems |
First Page |
1 |
Last Page |
13 |
Subject |
Parallel logic programming; Tabling; Table parallelism; SLG; XSB |
Subject LCSH |
Logic programming |
Language |
eng |
Bibliographic Citation |
Freire, J., Hu, R., Swift, T., & Warren, D. S. (1994). Parallelizing tabled evaluations. Workshop on Design and Implementation of Parallel Logic Programming Systems, 1-13. |
Rights Management |
(c)Freire, J., Hu, R., Swift,T., & Warren, D. S. |
Format Medium |
application/pdf |
Format Extent |
235,245 bytes |
Identifier |
ir-main,12394 |
ARK |
ark:/87278/s67p9grn |
Setname |
ir_uspace |
ID |
704514 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s67p9grn |