Logic and the lack of it

What constitutes the logic in a computer program?

The whole of it, but IMO the major part of any logic is concentrated in the control loops. That's where decisions are made - and any place decisions are made is important (which is the case in real life too). But control loops are hard to understand making the logic of a program hard to understand without supporting materials. So while one want's to make a program intelligent by introducing more logic we also have it to keep it simple for the rest of the world to understand - A paradox and a programmers dilemma it is. Learning to do better in meeting the seemingly contradictory requirement is what defines a better programmer.