Рекурсивно-логическое программирование: литература

Так как недавно публиковал пост о функциональном программирование, то теперь настало время логического:

• Иван Братко. Алгоритмы искусственного интеллекта на языке PROLOG = Prolog Programming For Artificial Intelligence. Супер книга, всем советую. Просто классика. Куча примеров, куча объяснений. Готовится 4-ое издание книги, вроде бы в 2013 году. На английском можно скачать в интернете. Но есть и русское издание.

• Learn Prolog Now. Английский курс, доступен онлайн -  http://www.learnprolognow.org/ . Отличная штука,  краткий курс, приятно почитать.

• Seven Languages in Seven Weeks. Книга, в которой рассказано про многие нетрадиционные языки, в том числе и про Пролог. Очень краткое, но достаточно подробное введение. Рекомендую. 

К сожалению на глубоком уровне не осваивал логическое программирование, из достаточно глубоких книг в этом списке только Братко. Но надеюсь, что когда-нибудь смогу рассуждать об этом более осознанно, и смогу порекомендовать что-нибудь еще. Ссылаюсь на уважаемого мной Alex Ott вновь - в списке книг по функциональному программированию у него есть и по Прологу литература - http://alexott.net/ru/fp/books/#sec9.