Unimpressed with article. For example, it says prolog only returns true and false. Prolog only returns "i proved it is true" and "I couldn't prove true", whic

Unimpressed with article. For example, it says prolog only returns true and false. Prolog only returns "i proved it is true" and "I couldn't prove true", which they mislabel as false - so false is not "not true". If you want to focus on features that expand your understanding of what a programming language is, that is surely a big one - false isn't !true? Wrap your brain around that and try to program anything that is still correct, it breaks everything you know about what you can do with a computer. I disagree with seeing prolog classified as functional - my experience with functional programming in lisp had a very very different view of side effects than my experience with declarative programming in prolog. Sure, learn prolog and you'll learn more about programming, but that's true of any programming language. I'm not convinced the benefits of learning prolog exceed the benefits of spending the same amount of time on something else. The main thing I learned in a prolog class was the huge danger of relying heavily on facts without also considering confidence in those facts. I can learn the exact same lesson if the declarative language I choose is SQL, with the added benefit that I might get to use the SQL someday.