My elevator pitch for Prolog is this: It's a constraint solving language, linear problem solving language, a database query language, a parsing language, and a

My elevator pitch for Prolog is this: It's a constraint solving language, linear problem solving language, a database query language, a parsing language, and an expert systems language. All unified (sorry that's a pun) transparently in a single language suitable for general purpose programming instead of half a dozen partially interoperable DSLs.