Привет, у кого-нибудь есть какие-либо ресурсы по заявительным языкам программирования, чем больше и новее, тем лучше.
Мне кажется, что книга Кшиштофа Апта по ограниченному программированию очень ясна, если, возможно, немного с теоретической точки зрения, если вы ищете именно "языки программирования". Страница автора ссылки на отзывы.
Есть также несколько связанных вопросов, которые я могу порекомендовать:
https://stackoverflow.com/questions/1082121/what-are-the-best-introductory-logic-programming-books
https://stackoverflow.com/questions/401635/good-beginners-material-on-prolog