An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives.

Miguel Areias Ricardo Rocha

Published in: PADL (2010)

Keyphrases

dynamic environments
implementation details
implementation issues
genetic algorithm
multiresolution
closed form
efficient implementation
real world
objective function
data structure
logic programming
alternative approaches