Tabling as a library with delimited control. - DESOUTER, BENOIT; VAN DOOREN, MARKO; SCHRIJVERS, TOM; Eiter, Thomas; Toni, Francesca (Theory & Practice of Logic Programming, 2015)