A language made for solving puzzles! — Prolog’s a pretty interesting programming language that will make you think in ways very different from what you’re used to — whether you’re coming from a procedural, functional, and/or object-oriented paradigm. It’s a declarative programming language from the 1970s and has its roots in first-order logic. What that means is…