Theoretical and Practical Limitations of Programming

In the ideal world, results of the system should be independent of the actual control mechanism. These are precisely the lessons which logic programming teaches us. So basically any control is accidental complexity. That's what they're saying. I think I would disagree with that. What we're saying would be ideal are executable specifications. They talk about some problems with specifications in the past. The two problems are performance and ease of expression. And the way that most languages have dealt with that is by adding in so performance, for instance, you add in control or state.