Dynamic Tractable Reasoning