Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > On a Tabling Engine That Can Exploit Or-Parallelism
Publication

Publications

On a Tabling Engine That Can Exploit Or-Parallelism

Title
On a Tabling Engine That Can Exploit Or-Parallelism
Type
Article in International Conference Proceedings Book
Year
2001
Authors
Rocha, R
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Costa, VS
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Indexing
Publicação em ISI Web of Knowledge ISI Web of Knowledge
Other information
Authenticus ID: P-008-KJG
Abstract (EN): Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling have been developed in the last few years, and several are by nature non-deterministic. This raises the question of whether parallel search techniques can be used to improve the performance of tabled applications. In this work we demonstrate that the mechanisms proposed to parallelize search in the context of SLD resolution naturally generalize to parallel tabled computations, and that resulting systems can achieve good performance on multi-processors. To do so, we present the OPT Yap parallel engine. In our system individual SLG engines communicate data through stack copying. Completion is detected through a novel parallel completion algorithm that builds upon the data structures proposed for or-parallelism. Scheduling is simplified by building on previous research on or-parallelism. We show initial performance results for our implementation. Our best result is for an actual application, model checking, where we obtain linear speedups. © Springer-Verlag Berlin Heidelberg 2001.
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 16
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Speculative computations in or-parallel tabled logic programs (2004)
Article in International Scientific Journal
Rocha, R; Silva, F; Costa, VS
Or-Parallelism within Tabling (1999)
Article in International Scientific Journal
Rocha, R; Silva, F; Costa, VS
On applying or-parallelism and tabling to logic programs (2005)
Article in International Scientific Journal
Rocha, R; Silva, F; Costa, VS
Novel models for or-parallel logic programs: A performance analysis (2000)
Article in International Scientific Journal
Costa, VS; Rocha, R; Silva, F
Improving the efficiency of inductive logic programming systems (2009)
Article in International Scientific Journal
Nuno A. Fonseca; Vítor Santos Costa; Ricardo Rocha; Rui Camacho; Fernando Silva

See all (11)

Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-08-10 at 17:39:49 | Privacy Policy | Personal Data Protection Policy | Whistleblowing