Planning as Tabled Logic Programming