An external module for implementing linear tabling in prolog

Authors:
Cláudio Silva;Ricardo Rocha;Ricardo Lopes
Affiliations:
DCC-FC & LIACC University of Porto, Portugal;DCC-FC & LIACC University of Porto, Portugal;DCC-FC & LIACC University of Porto, Portugal
Venue:
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Year:
2006

Citing 3
Cited 1

Implementation of a Linear Tabling Mechanism

PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
A Novel Implementation of the Extended Andorra Model

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
IMPACT: innovative models for prolog with advanced control and tabling

ICLP'05 Proceedings of the 21st international conference on Logic Programming

Dynamic reordering of alternatives for definite logic programs

Computer Languages, Systems and Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

In previous work [1], we have presented a proposal to combine the power of tabling with the Extended Andorra Model (EAM) in order to produce an execution model with advanced control strategies that guarantees termination, avoids looping, reduces the search space, and is less sensitive to goal ordering.