Swapping evaluation: A memory-scalable solution for answer-on-demand tabling.

Pablo Chico de Guzmán Manuel Carro David Scott Warren

Published in: Theory Pract. Log. Program. (2010)

Keyphrases

low memory
evaluation process
data structure
operating system
evaluation criteria
database
optimal solution
artificial intelligence
databases
expert systems
linear programming
logic programming
cloud computing
solution quality
evaluation method
evaluation methods
computing power
memory space
limited memory
real time