По Prolog книжек достаточно много, есть онлайн-курсы. Автор впервые познакомился с Prolog ещё в девяностые, прочитав советский перевод [Братко]. Эта хорошая книга была переиздана в 2004 году в лучшем виде, чем в первый раз. В советском издании зачем-то перевели на русский идентификаторы в коде на Prolog, да и сам язык там носит название Пролог. [Братко] не единственная переведённая ещё в советское время книга по Prolog, автору известно ещё пять. Из современных книг хотелось бы выделить учебник коллеги по кафедре информационных систем и программирования ИКСИБ КубГТУ [Марков]. В книге рассматривается коммерческий диалект Visual Prolog.
Знакомство с Prolog можно начать с любой из основных книг, только нужно учитывать различия между диалектами.
Начиная или продолжая изучать что-либо, мы интересуемся тем, а что нам бы ещё интересного и полезного об этом почитать? И вот, здесь я отвечаю на этот вопрос и привожу ссылки на наиболее интересные на мой взгляд источники информации на русском языке как о функциональном программировании вообще, так и об отдельных языках функционального программирования в частности, таких как Haskell, Scala, Elm.