Thank you for sharing this! In my opinion, this is spot on and an important insight into programming. The validity of this view of programming is particularly

Thank you for sharing this! In my opinion, this is spot on and an important insight into programming. The validity of this view of programming is particularly evident when using a logic programming language like Prolog or Mercury: In this case, the programmers' task is to describe what holds, and the clauses that constitute the program and their semantic consequences are literally the theory of interest.