I would. Because at the pure end imperative->declarative spectrum, you lose turing completeness.
It is certainly less imperative than the equivalent C, that's for sure.
It is certainly less imperative than the equivalent C, that's for sure.
Yield an interpretation of a set of boolean variables that satisfies the following conditions:
- A AND B
- (NOT C) or A or B
- A AND (NOT C)
...etc