I must say I find your comparison unusual! Whereas the rule-based declarative programming in Prolog is basically unheard of, C set the standard for all imperat

I must say I find your comparison unusual! Whereas the rule-based declarative programming in Prolog is basically unheard of, C set the standard for all imperative languages to follow it. On top of that, a large number of languages either compile down to C or have a VM written in C, possibly C++. The typical language I hear lumped together in the same breath as Prolog is COBOL. Which is nevertheless widely used in production environments - something like 1 billion lines of code. Is anybody seriously using Prolog these days?