Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
Publication

Publications

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

Title
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
Type
Article in International Conference Proceedings Book
Year
2010
Authors
Flavio Cruz
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page Without ORCID
Ricardo Rocha
(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
Conference proceedings International
Pages: 130-142
12th European Conference on Logics in Artificial Intelligence (JELIA)
Helsinki, FINLAND, SEP 13-15, 2010
Scientific classification
FOS: Natural sciences > Computer and information sciences
Other information
Authenticus ID: P-003-BWE
Abstract (EN): Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redundant sub-computations. Tabling based systems use call similarity to determine if a tabled subgoal will produce their own answers or if it will consume from another subgoal. While call variance has been a very popular approach, call subsumption can yield superior time performance and space improvements as it allows greater reuse of answers. However, the call order of the subgoals can greatly affect the success and applicability of the call subsumption technique. In this work, we present an extension, named Retroactive Call Subsumption, that supports call subsumption by allowing full sharing of answers between subsumed/subsuming subgoals, independently on the order in which they are called. Our experiments using the YapTab tabling engine show considerable gains in evaluation time for some applications, at the expense of a very small overhead for the programs that cannot benefit from it.
Language: English
Type (Professor's evaluation): Scientific
Contact: flavioc@dcc.fc.up.pt; ricroc@dcc.fc.up.pt
No. of pages: 13
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Single Time-Stamped Tries for Retroactive Call Subsumption (2011)
Other Publications
Flávio Cruz; Ricardo Rocha
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (2011)
Article in International Scientific Journal
Flavio Cruz; Ricardo Rocha
Declarative Coordination of Graph-based Parallel Programs (2016)
Article in International Scientific Journal
Flavio Cruz; Ricardo Rocha; Goldstein, SC
A Linear Logic Programming Language for Concurrent Programming over Graph Structures (2014)
Article in International Scientific Journal
Flavio Cruz; Ricardo Rocha; Seth Copen Goldstein; Frank Pfenning
Thread-aware logic programming for data-driven parallel programs (2015)
Article in International Conference Proceedings Book
Cruz, F; Rocha, R; Goldstein, SC

See all (9)

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-07-09 at 03:42:09 | Privacy Policy | Personal Data Protection Policy | Whistleblowing