Incremental Reasoning

Reasoning performed in response to updates by minimising the amount of recomputations needed.