The following issues are identified and waiting for concrete problems 
and suggestions.
- Transaction management
- This certainly requires a high-level interface. Possibly in combination 
with call_cleanup/3, 
providing automatic rollback on failure or exception and commit on 
success.
- High-level interface
- Attaching tables to predicates, partial DataLog implementation, 
etc.