Text this: Live data structures in logic programs :