TO
1 - 25 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Freire, Juliana | Parallelizing tabled evaluations | 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 imple... | Parallel logic programming; Tabling; Table parallelism; SLG; XSB | 1994 |
1 - 25 of 1