Excellent article written in 2010 by Maarten van Emden about the history of Prolog: http://vanemden.wordpress.com/2010/08/21/who-killed-prolog/ and a follow-up: http://vanemden.wordpress.com/2010/08/31/the-fatal-choice/ Lots of interesting comments, too. The Clojure world seems to be rediscovering Logic Programming. Even if you don't end up falling in love with Prolog, it's worth knowing something about it. Datalog is a subset of Prolog. Erlang is influenced by Prolog.