On the effective semantics of temporal, non monotonic, non deterministic logic databases