There it is. That’s it, 95% of what I want to say is in the title—Prolog is great! What follows is just commentary. All those of have contributed to SWI-Prolog or any other Prolog in any way, you all have my accolades, and my deep appreciation. I’ll explain briefly why.
A couple of years ago, I decided to start upgrading my computer science and my programming knowledge to the new status quo. Yes, I decided to learn functional programming! And I loved it. Then later, curious of new paradigms, I decided to try this strange thing called “logic programming”. I felt right at home from the get-go. Prolog, in my mind, is a sister to the functional programming languages. Functional-style recursion is the way you usually write your routines—imperative-style loops are off the menu. So, skills gained in writing one translate very well to the other.
I’ve tried so many functional languages, and yet there’s none that covers all the bases I need covered for it to be a compelling proposition both for everyday scripting and serious projects.
Haskell is excellent, (and I’ve spent so much time becoming proficient in it!) but the shocking state of package documentation means that, whenever I want to try something new and exciting from the packages, I’m back to square one. I’m a total newb again, desperately struggling to figure out what obscure combination of unusual operators will produce the program I want, in the syntactical style that was intended. Starting with a new package is an incredibly stressful experience.
Clojure has excellent syntax—it’s a really crisp, clear and beautiful take on LISPs—but the Java-spawned error messages are baffling, making the simplest of debugging attempts into pure psychological torture, and the runtime overhead of the JVM makes me regret using it every time.
I could go on and on.
But let’s talk about SWI-Prolog. Here’s a language that has never, ever let me down. It’s not a functional language, it’s not the hot, cool new kid on the block, but I don’t care one bit. Everything I want to do with Prolog, the language and the engine just gets out of my way and lets me do it.
Package and language documentation is incredibly easy to read.
It has one the best command-line debugging environments I’ve ever come across, and the little window that pops up to help with your profiling is fantastic, too.
Solving your problems is often as easy as formulating an elegant description of them.
Sysadmin tasks are aided by straightforward IO predicates and some excellent libraries, making it easy to do all your daily scripting tasks in Prolog.
It interfaces easily, and excellently, with other languages when you need more specialized functionality.
The community is one of the friendliest going, and people’s passion for the project is very much visible.
Extensions like DCGs, CHRs and CLP are focused, first and foremost, on increasing the number of problems you can easily solve in Prolog, greatly adding to the power of the language.
There are valid criticisms to make, for sure. The unification system can seem like magic to the uninitiated, and it takes a certain level of skill to learn how to coax searches to go exactly where you need them to, and no further. That’s why there is such an element of “craft” to Prolog, with classic books on the language deservedly owning names like “The Art of Prolog”. The error messages may be mystifying for beginners, and it’s not helped by how you can’t annotate your predicates with type or mode information.
But I’ll leave others to do the grouching (and I’d like to hear it, make no mistake!). But for me, at least, errors have never taken too long to debug, because there’s such a powerful arsenal available to you when it comes to debugging.
As an example of how Prolog’s helped me out lately, I’m using Probabilistic Logic Programming with Prolog to generate believable, internally consistent worlds for a video game project. You’ll start by choosing random facts about your world, for example “This world is powered by ice energy”, and the system will go on to decide “Well then, 50-100% of terrain should be cold terrain”, and from there to “This north-eastern peninsula of land has an 85% chance to be tundra”, and from there to “There are 0-3 ice dragons living in this tundra region” and so on and so on.
I won’t write the whole game in Prolog, but the fact I don’t need to is an asset, not a downside to Prolog! It just plugs in and solves the problems I want solving without effort.
Prolog is an incredible tool to have in your toolbelt, and one you start with it, creative ideas on what you can do with it start to come flooding in.
So thanks to you all, and keep it up!
Comments, corrections and/or advice are welcome . Thanks!