I had heard about prolog for years, but, it was not taught at the university I went to. But, as other have mentioned, I have always wondered about it, hearing whispers here and there. The recent resurgance of interest came from working with Erlang. Erlangs syntax is from Prolog (because it was prototyped in Prolog first) I am reading the basic intro text: https://www.amazon.ca/Programming-Prolog-Using-ISO-Standard/.... which is nice. All I can say is, its very strange and interesting.

I've looked at and read a bunch of different Prolog books. In my opinion the best one is `Programming in Prolog: Using the ISO Standard' by Clocksin & Mellish. It's actually one of my favorite programming books. Do all the exercises!

http://www.amazon.com/Programming-Prolog-Using-ISO-Standard/...

http://www.swi-prolog.org/