Or-Parallelism within Tabling

• Type: Article in International Scientific Journal
• Date: 1999

Authors

Rocha, R (Author) FCUP; Silva, F (Author) FCUP; Costa, VS (Author) FCUP

Indexing

ISI Web of Knowledge - 5 Citations

Scopus - 9 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-001-65C

DOI: 10.1007/3-540-49201-1_10

Abstract (EN): One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficiently exploited in tabling systems and propose two alternative approaches, Or-Parallelism within Tabling (OPT) and Tabling within Or-Parallelism (TOP). We concentrate on the fundamental concepts of an environment copying based model to implement the OPT approach and introduce the data structures and algorithms necessary to extend the YapOr Or-Parallel system, in order to obtain a parallel tabling system.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 15