Click here to learn more about author Adam Pease. In Part 1 I discussed the difference between procedural and declarative languages, and mentioned the confusion that can come from thinking that Turing equivalence applies to declarative languages. Now I’ll discuss some different logical languages. This is just an informal introduction. For the formal logician who is […]