В книге "Искусство программирования на языке Пролог" рассматриваются азы логического программирования, а также описывается язык Пролог. Здесь обсуждаются ввод-вывод, аспекты недетерминированного программирования, приемы и средства организации различных интерактивных программ, использование структур данных, которые допускают накопление данных, программирование метаинтерпретаторов, а также техника грамматического разбора. Изложение материала иллюстрируется удачными примерами программ.

В книге Клоксина У. и Меллиша К. "Программирование на языке Пролог" описываются основы логического программирования и особенности языка Пролог, являющегося базовым языком ЭВМ пятого поколения.

Книга Анатолия Адаменко и Андрея Кучукова "Логическое программирование и Visual Prolog" описывает самый известный и наиболее используемый в мире язык логического программирования Visual Prolog. Этот язык в основе своей несет платформу языка, не менее известного, - Turbo Prolog, очень на него похож и по праву может называться его последователем. В книге описана история, идеи и методы логического программирования, его математические основы, а также его использование в вопросах, связанных с экспертными системами и искусственным интеллектом.

Книга "Реляционный язык Пролог и его применение" познакомит вас с языком Пролог. Здесь приводится множество примеров, которые позволят вам быстро разобраться в сущности языка.