The Aristotelian conception of inconsistency is dead. Long live consistency
CALM: Consistency as Logical Monotonicity.
When it comes to declarativity Time is essential, space is a detail.
If you are familiar with programming languages, proof theory, model theory, distributed systems and relational databases - you can jump right into the deep end with this video: I see what you mean
And if you want to tinker with it try the Bloom language