A Simple and Efficient Implementation of Concurrent Local Tabling.

Rui Marques Terrance Swift José C. Cunha

Published in: PADL (2010)

Keyphrases

efficient implementation
hardware implementation
efficient processing
highly parallel
active set
real time
sufficient conditions